A comparative study of several proof procedures
- 31 May 1982
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 18 (3) , 269-293
- https://doi.org/10.1016/0004-3702(82)90024-8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Improvements of a tautology-testing algorithmPublished by Springer Nature ,2005
- On Matrices with ConnectionsJournal of the ACM, 1981
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Tautology testing with a generalized matrix reduction methodTheoretical Computer Science, 1979
- On the complexity of regular resolution and the Davis-Putnam procedureTheoretical Computer Science, 1977
- Refutations by MatingsIEEE Transactions on Computers, 1976
- Refutation graphsArtificial Intelligence, 1976
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- An approach to a systematic theorem proving procedure in first-order logicComputing, 1974
- A Unifying View of Some Linear Herbrand ProceduresJournal of the ACM, 1972