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

10958 D.S.: Computers and Intractibility: A Guide to the Theory of NP-Completeness – M R Garey, Johnson - 1979
1072 A computing procedure for quantification theory – M Davis, H Putnam - 1960
529 A machine program for theoremproving – Martin Davis, George Logemann, Donald Loveland - 1962
1117 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
314 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
739 A machine program for theorem proving – M Davis, G Logemann, D Loveland - 1962
2937 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
708 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
2621 Dynamic Programming – R E Bellman - 1957