Issue No. 08 - August (1976 vol. 25)
J.D. McCharen , Division of Computer Science, Department of Mathematical Sciences, Northern Illinois University
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.
Clause sets, resolution, theorem-proving, UR resolution.
L. Wos, R. Overbeek and J. McCharen, "Problems and Experiments for and with Automated Theorem-Proving Programs," in IEEE Transactions on Computers, vol. 25, no. , pp. 773-782, 1976.