Evaluating general purpose automated theorem proving systems
Artificial Intelligence
Conclusions about the CADE-13 ATP System Competition
Journal of Automated Reasoning
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
New Directions in Instantiation-Based Theorem Proving
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
AI Communications
MPTP 0.2: Design, Implementation, and Initial Experiments
Journal of Automated Reasoning
The design and implementation of VAMPIRE
AI Communications - CASC
The 3rd IJCAR Automated Theorem Proving Competition
AI Communications
The CADE-21 automated theorem proving system competition
AI Communications
The model evolution calculus with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Instantiation-Based Automated Reasoning: From Theory to Practice
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
The CADE-22 automated theorem proving system competition - CASC-22
AI Communications
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Large theory reasoning with SUMO at CASC
AI Communications - Practical Aspects of Automated Reasoning
External sources of axioms in automated theorem proving
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The 5th IJCAR automated theorem proving system competition - CASC-J5
AI Communications
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
The CADE-23 Automated Theorem Proving System Competition - CASC-23
AI Communications
The 481 ways to split a clause and deal with propositional variables
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Theorem proving in large formal mathematics as an emerging AI field
Automated Reasoning and Mathematics
| Hi-index | 0.00 |
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-J4 was the thirteenth competition in the CASC series. Twenty-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.