Sign in
The CADE-27 Automated theorem proving System Competition - CASC-27.
Geoff Sutcliffe
Published in:
AI Commun. (2019)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
international competition
high level
probabilistic model
inference rules
machine learning
search space