The Quest for Efficient Boolean Satisfiability Solvers (2002)

by Lintao Zhang , Sharad Malik
Citations:122 - 2 self

Active Bibliography

39 Zchaff2004: An efficient SAT solver – Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik - 2004
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
32 Propositional Satisfiability and Constraint Programming: a Comparative Survey – Lucas Bordeaux, Youssef Hamadi, Lintao Zhang - 2006
7 SEARCHING FOR TRUTH: TECHNIQUES FOR SATISFIABILITY OF BOOLEAN FORMULAS – Lintao Zhang, Sharad Malik, Aarti Gupta - 2003
74 Lazy Satisfiability Modulo Theories – Roberto Sebastiani - 2007
The Satisfiability Problem- From The Theory of NP-completeness to State-Of-The-Art SAT Solvers – Rave Harpaz
21 The SAT2002 Competition – Laurent Simon, Daniel Le Berre, Edward A. Hirsch - 2002
16 Ten challenges redux: Recent progress in propositional reasoning and search – Henry Kautz, Bart Selman - 2003
1 A SAT Solver Primer – Yuri Gurevich, David G. Mitchell
19 Unrestricted vs restricted cut in a tableau method for Boolean circuits – Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä - 2005
292 Efficient Conflict Driven Learning in a Boolean Satisfiability Solver – Lintao Zhang, Conor F. Madigan, Matthew H. Moskewicz - 2001
49 Stochastic Boolean Satisfiability – Michael L. Littman, Stephen M. Majercik, Toniann Pitassi - 2000
26 Exploiting the Real Power of Unit Propagation Lookahead – Daniel Le Berre - 2001
10 Backtracking Search Algorithms – Peter van Beek - 2006
51 Resolution versus Search: Two Strategies for SAT – Irina Rish, Rina Dechter - 2000
5 The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving – Matti Järvisalo
Anatomy and Empirical Evaluation of Modern SAT Solvers – Yuri Gurevich, Karem A. Sakallah, Joao Marques-silva
1 A Complete Adaptive Algorithm for Propositional Satisfiability – Renato Bruni, Antonio Sassano - 2000