Title :
Problems and Experiments for and with Automated Theorem-Proving Programs
Author :
McCharen, John D. ; Overbeek, Ross A. ; Wos, Lawrence A.
Author_Institution :
Division of Computer Science, Department of Mathematical Sciences, Northern Illinois University
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 :
Clause sets, resolution, theorem-proving, UR resolution.; Algebra; Assembly; Automatic testing; Computational geometry; Demodulation; Impedance; Materials testing; Mathematics; Solid modeling; Statistics; Clause sets, resolution, theorem-proving, UR resolution.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1976.1674696
