共 50 条
- [22] Ready for the Future: What's new in SAT? SCHWEIZER ARCHIV FUR TIERHEILKUNDE, 2015, 157 (01): : 4 - 5
- [24] NEW RESEARCH LINES FOR MAX-SAT Exploiting the Recent Resolution Rule for Max-SAT ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 648 - 651
- [25] Speculative SAT Modulo SAT TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024, 2024, 14570 : 43 - 60
- [26] New logical and complexity results for signed-SAT 33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2003, : 181 - 187
- [27] The "new" SAT-fresh, modern, but always matchless SCHWEIZER ARCHIV FUR TIERHEILKUNDE, 2008, 150 (01): : 40 - 40
- [28] MinMaxSat: A new weighted Max-SAT solver THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, 2007, 4501 : 41 - +
- [30] SAT graph-based representation: A new perspective JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2008, 63 (1-3): : 17 - 33