Login / Signup

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

Larry WosWilliam 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