Average time analysis of simplified Davis-Putnam procedures☆
References (9)
- et al.
Backtrack programming techniques
Comm. ACM
(1975) - C.A. Brown and P.W. Purdom Jr., An average time analysis of backtracking, SIAM J. Comput., to...
- et al.
How to search efficiently
- et al.
A machine program for theorem proving
Comm. ACM
(1962)
There are more references available in the full text version of this article.
Cited by (66)
An empirical complexity study for a 2CPA solver
2006, Modern Information ProcessingTypical case complexity of Satisfiability algorithms and the threshold phenomenon
2005, Discrete Applied MathematicsResults related to threshold phenomena research in satisfiability: Lower bounds
2001, Theoretical Computer ScienceThe Multi-SAT algorithm
1999, Discrete Applied MathematicsA General Upper Bound for the Satisfiability Threshold of Random r-SAT Formulae
1997, Journal of AlgorithmsA statistical approach to adaptive problem solving
1996, Artificial Intelligence
- ☆
The research reported herein was supported in part by the National Science Foundation under Grant No. NCS7906110.
Copyright © 1982 Published by Elsevier B.V.