Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs.

Larry Wos William McCune

Published in: CADE (1988)

Keyphrases

automated theorem proving
classical logic
theorem prover

theorem proving
data sets
search space

optimization problems
sufficient conditions
logic programming

np complete
decision problems