The international SAT solver competitions

AI Magazine

Volumn 33, Issue 1, 2012, Pages 89-94

  Järvisalo, Matti ^a   Berre, Daniel Le ^b   Roussel, Olivier ^b   Simon, Laurent ^c  

^a UNIVERSITY OF HELSINKI   (Finland)

^b UNIVERSITÉ D'ARTOIS   (France)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING;

BOOLEAN SATISFIABILITY; SAT SOLVERS; STATE-OF-THE-ART PROCEDURES;

FORMAL LOGIC;

EID: 84861400735     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: 10.1609/aimag.v33i1.2395     Document Type: Article

References (16)

1. Biere, A. 2008. PicoSAT Essentials. Journal of Satisfiability, Boolean Modeling and Computation 4(2-4): 75-97.
2. Biere, A.; Heule, M.; van Maaren, H.; and Walsh, T., eds. 2009. Handbook of Satisfiability. In Frontiers in Artificial Intelligence and Applications volume 185. Amsterdam, Holland: IOS Press.
3. Braunstein, A., and Zecchina, R. 2004. Survey and Belief Propagation on Random K-SAT. In Revised Selected Papers from the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), volume 2919 of Lecture Notes in Computer Science, 519-528. Berlin: Springer.
4. Buro, M., and Büning, H. K. 1993. Report on a SAT Competition. Bulletin of the European Association for Theoretical Computer Science 49(1): 143-151.
5. Davis, M.; Logemann, G.; and Loveland, D. 1962. A Machine Program for Theorem-Proving. Communications of the ACM 5(7): 394-397. Eén, N., and Sörensson, N. 2004. An Extensible SATSolver. In Revised Selected Papers from the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), volume 2919 of Lecture Notes in Computer Science, 502-518. Berlin: Springer.
6. Hamadi, Y.; Jabbour, S.; and Sais, L. 2009. ManySAT: a Parallel SAT Solver. Journal of Satisfiability, Boolean Modeling and Computation 6(4): 245-262.
7. Heule, M.; Dufour, M.; van Zwieten, J.; and van Maaren, H. 2005. Marchfieq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. In Revised Selected Papers from the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), volume 3542 of Lecture Notes in Computer Science, 345-359. Berlin: Springer. (Pubitemid 41422893)
8. Johnson, D., and Trick, M., eds. 1996. Second DIMACS Implementation Challenge: Cliques, Coloring, and Satisfiability, volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science. Providence, RI: American Mathematical Society.
9. Le Berre, D., and Simon, L. 2005. Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. In Revised Selected Papers from the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), volume 3542 of Lecture Notes in Computer Science, 321-344. Berlin: Springer. (Pubitemid 41422892)
10. Le Berre, D., and Simon, L. 2004. The Essentials of the SAT 2003 Competition. In Revised Selected Papers from the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), volume 2919 of Lecture Notes in Computer Science, 452-467. Berlin: Springer.
11. Moskewicz, M.; Madigan, C.; Zhao, Y.; Zhang, L.; and Malik, S. 2001. Chaff: Engineering an Efficient SAT Solver. In Proceedings of the Thirty-Eighth Design Automation Conference, 530-535. New York: Association for Computing Machinery. (Pubitemid 32841010)
12. Silva, J. M., and Sakallah, K. 1999. GRASP: A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computers 48(5): 506-521.
13. Simon, L., and Chatalic, P. 2001. SatEx: A Web-Based Framework for SAT Experimentation. Electronic Notes in Discrete Mathematics 9(9): 129-149. (Pubitemid 33813989)
14. Simon, L.; Le Berre, D.; and Hirsch, E. 2005. The SAT2002 Competition. Annals of Mathematics and Artificial Intelligence 43(1): 307-342. (Pubitemid 39631124)
15. Sutcliffe, G., and Suttner, C. 2001. Evaluating General Purpose Automated Theorem Proving Systems. Artificial Intelligence 131(1-2): 39-54. (Pubitemid 32798577)
16. Xu, L.; Hutter, F.; Hoos, H.; and Leyton-Brown, K. 2008. SATzilla: Portfolio-Based Algorithm Selection for SAT. Journal of Artificial Intelligence Research 32: 565-606.