A note on regular resolution
- 1 March 1981
- journal article
- Published by Springer Nature in Computing
- Vol. 26 (1) , 87-89
- https://doi.org/10.1007/bf02243428
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On the complexity of regular resolution and the Davis-Putnam procedureTheoretical Computer Science, 1977
- On the Complexity of Derivation in Propositional CalculusPublished by Springer Nature ,1970