This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
August 1976 (vol. 25 no. 8)
pp. 773-782
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.
Index Terms:
Clause sets, resolution, theorem-proving, UR resolution.
Citation:
J.D. McCharen, R.A. Overbeek, L.A. Wos, "Problems and Experiments for and with Automated Theorem-Proving Programs," IEEE Transactions on Computers, vol. 25, no. 8, pp. 773-782, Aug. 1976, doi:10.1109/TC.1976.1674696
Usage of this product signifies your acceptance of the Terms of Use.