Evaluating general purpose automated theorem proving systems
Artificial Intelligence
The CADE-16 ATP System Competition
Journal of Automated Reasoning
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
AI Communications
Things to Know when Implementing KBO
Journal of Automated Reasoning
MPTP 0.2: Design, Implementation, and Initial Experiments
Journal of Automated Reasoning
Translating Higher-Order Clauses to First-Order Clauses
Journal of Automated Reasoning
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4
AI Communications
Splitting without backtracking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Bounded Model Generation for Isabelle/HOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
The 5th IJCAR automated theorem proving system competition - CASC-J5
AI Communications
An incremental answer set programming based system for finite model computation
AI Communications - Answer Set Programming
Sine Qua non for large theory reasoning
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Reasoning in the OWL 2 full ontology language using first-order automated theorem proving
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Nitpick: a counterexample generator for higher-order logic based on a relational model finder
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
The TPTP typed first-order form with arithmetic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
The TPTP typed first-order form with arithmetic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Satallax: an automatic higher-order prover
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
First-Order theorem proving and vampire
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
The 6th IJCAR automated theorem proving system competition --CASC-J6
AI Communications
Hi-index | 0.00 |
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-23 was the sixteenth competition in the CASC series. Thirty-six ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.