An extension to linear resolution with selection function
- 13 June 1982
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 14 (4) , 191-194
- https://doi.org/10.1016/0020-0190(82)90035-7
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Linear resolution with selection functionArtificial Intelligence, 1972
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965