C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The 11th IJCAR automated theorem proving system competition - CASC-J11.
Geoff Sutcliffe
Martin Desharnais
Published in:
AI Commun. (2023)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
international competition
database
genetic algorithm
expert systems
general purpose
logic programs