Problems and Experiments for and with Automated Theorem-Proving Programs
- 1 August 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-25 (8) , 773-782
- https://doi.org/10.1109/tc.1976.1674696
Abstract
The two objectives of this paper are 1) to give a large and varied problem set, complete clause sets for use in testing automated theorem-proving programs and 2) the presentation of a number of experiments with an existing program under a variety of conditions.Keywords
This publication has 4 references indexed in Scilit:
- An Evaluation of an Implementation of Qualified HyperresolutionIEEE Transactions on Computers, 1976
- An implementation of hyper-resolutionComputers & Mathematics with Applications, 1975
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965