Average time analysis of simplified Davis-Putnam procedures
- 6 September 1982
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 15 (2), 72-75
- https://doi.org/10.1016/0020-0190(82)90110-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- An Average Time Analysis of BacktrackingSIAM Journal on Computing, 1981
- Backtrack programming techniquesCommunications of the ACM, 1975
- A machine program for theorem-provingCommunications of the ACM, 1962