共 50 条
- [3] SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 978 - 984
- [5] A NEW APPROACH TO THE SAT PROBLEM COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1991, 313 (11): : 801 - 804
- [9] New Evolutionary Approaches for SAT Solving 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 522 - 526
- [10] HAIFASAT: A new robust SAT solver HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 76 - 89