共 50 条
- [21] Improved exact algorithms for MAX-SAT LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 341 - 355
- [22] Computing Max-SAT Refutations using SAT Oracles 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021), 2021, : 404 - 411
- [23] Parallel ACS for weighted MAX-SAT COMPUTATIONAL METHODS IN NEURAL MODELING, PT 1, 2003, 2686 : 414 - 421
- [25] EVOLVED PREAMBLES FOR MAX-SAT HEURISTICS ECTA 2011/FCTA 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION THEORY AND APPLICATIONS AND INTERNATIONAL CONFERENCE ON FUZZY COMPUTATION THEORY AND APPLICATIONS, 2011, : 23 - 31
- [26] New inference rules for Max-SAT JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 321 - 359
- [28] New inference rules for max-SAT JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 321 - 359