Seventy-Five Problems for Testing Automatic Theorem Provers.

Francis Jeffry Pelletier

Published in: J. Autom. Reason. (1986)

Keyphrases

theorem prover
theorem proving
np complete
automated deduction
search algorithm
evolutionary algorithm
higher order
optimization problems