Evaluating general purpose automated theorem proving systems
Artificial Intelligence
The CADE-16 ATP System Competition
Journal of 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
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Instantiation-Based Automated Reasoning: From Theory to Practice
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Sine Qua non for large theory reasoning
CADE'11 Proceedings of the 23rd international conference on Automated deduction
The CADE-23 Automated Theorem Proving System Competition - CASC-23
AI Communications
Overview and evaluation of premise selection techniques for large theory mathematics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
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-J6 was the seventeenth competition in the CASC series. Thirty-two 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.