The CADE-14 ATP System Competition.

Christian B. Suttner Geoff Sutcliffe

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

Keyphrases

automated theorem proving
theorem prover
artificial neural networks
database
neural network
real world
data mining
optimal solution