Implementing the Davis-Putnam Method (2000)

Cached

Download Links

by Hantao Zhang , Mark E. Stickel
Venue:Journal of Automated Reasoning
Citations:53 - 3 self

Documents Related by Co-Citation

1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
534 A Machine Program for Theorem-Proving – M Davis, G Logemann, D Loveland - 1962
315 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
1119 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
194 SATO: an Efficient Propositional Prover – Hantao Zhang - 1997
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
358 GRASP - A New Search Algorithm for Satisfiability – Joso L Marques Silva - 1996
158 Using CSP look-back techniques to solve realworld SAT instances – Robert Schrag - 1997
41 The Propositional Formula Checker HeerHugo – J. F. Groote, J. P. Warners - 1999
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
360 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
292 Efficient Conflict Driven Learning in a Boolean Satisfiability Solver – Lintao Zhang, Conor F. Madigan, Matthew H. Moskewicz - 2001
204 Using CSP look-back techniques to solve real-world SAT instances – Roberto J. Bayardo - 1997
7 Specifying Latin squares in propositional logic – H Zhang - 1997
115 Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems – James M. Crawford, Andrew B. Baker - 1994
97 An efficient propositional prover – SATO - 1997
54 Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability – Luís Baptista, João Marques-Silva - 2000
74 A rearrangement search strategy for determining propositional satisfiability – Ramin Zabih - 1988