Login / Signup
The CADE-23 Automated Theorem Proving System Competition - CASC-23.
Geoff Sutcliffe
Published in:
AI Commun. (2012)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
international competition
real time
neural network
genetic algorithm
orders of magnitude
first order logic