The CADE-18 ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

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

Keyphrases

automated theorem proving
real time
neural network
learning algorithm
case study
data structure
computer science
theorem prover
objective function
cooperative
search algorithm
first order logic
competitive market
international competition