A note on linear resolution strategies in consequence-finding
- 1 January 1972
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 3, 175-180
- https://doi.org/10.1016/0004-3702(72)90047-1
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- Resolution graphsArtificial Intelligence, 1970
- The Unit Proof and the Input Proof in Theorem ProvingJournal of the ACM, 1970
- A Linear Format for Resolution With Merging and a New Technique for Establishing CompletenessJournal of the ACM, 1970
- Automatic Theorem Proving With Renamable and Semantic ResolutionJournal of the ACM, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965