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

1075 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
530 A machine program for theorem-proving – M Davis, G Logemann, D Loveland - 1962
314 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
125 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
1114 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
740 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
193 SATO: an Efficient Propositional Prover – Hantao Zhang - 1997
359 GRASP - A New Search Algorithm for Satisfiability – Joso L Marques Silva - 1996
156 Using CSP look-back techniques to solve real-world SAT instances – R C Schrag - 1997
41 The Propositional Formula Checker HeerHugo – J. F. Groote, J. P. Warners - 1999
361 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
204 Using CSP look-back techniques to solve real-world SAT instances – Roberto J. Bayardo - 1997
98 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
78 Branching Rules for Satisfiability – J. N. Hooker, V. Vinay - 1995
371 GRASP: A Search Algorithm for Propositional Satisfiability – Joaäo P. Marques-silva, Karem A. Sakallah - 1999
62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
183 Evidence for Invariants in Local Search – David McAllester, Bart Selman, Henry Kautz - 1997