On the complexity of regular resolution and the Davis-Putnam procedure
- 28 February 1977
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 4 (1), 23-46
- https://doi.org/10.1016/0304-3975(77)90054-8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A note on disjunctive form tautologiesACM SIGACT News, 1973
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960
- A Way to Simplify Truth FunctionsThe American Mathematical Monthly, 1955