Automated Theorem Proving by Test Set Induction

• 1 January 1997
• journal article
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 23  (1) , 47-77
• https://doi.org/10.1006/jsco.1996.0076

Abstract

Keywords

• SET INDUCTION
• AUTOMATED THEOREM PROVING
• TEST SET