Evaluating general purpose automated theorem proving systems
Artificial Intelligence
Automated Development of Fundamental Mathematical Theories
Automated Development of Fundamental Mathematical Theories
The CADE-14 ATP System Competition
Journal of Automated Reasoning
The CADE-13 ATP System Competition
Journal of Automated Reasoning
Journal of Automated Reasoning
Journal of Automated Reasoning
The CADE-15 ATP System Competition
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
The CADE-17 ATP System Competition
Journal of Automated Reasoning
The IJCAR ATP System Competition
Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
Strategy Selection by Genetic Programming
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
E-SETHEO: An Automated3 Theorem Prover
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The CADE-18 ATP System Competition
Journal of Automated Reasoning
Annals of Mathematics and Artificial Intelligence
The CADE-19 ATP system competition
AI Communications
The IJCAR-2004 automated theorem proving competition
AI Communications
The impact of CASC in the development of automated deduction systems: Guest-editorial
AI Communications - CASC
AI Communications - CASC
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
SMT-COMP: satisfiability modulo theories competition
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
The CADE-20 automated theorem proving competition
AI Communications
The 3rd IJCAR Automated Theorem Proving Competition
AI Communications
The CADE-21 automated theorem proving system competition
AI Communications
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
THF0 --- The Core of the TPTP Language for Higher-Order Logic
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4
AI Communications
Automated deduction for verification
ACM Computing Surveys (CSUR)
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Automated Inference of Finite Unsatisfiability
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
The CADE-22 automated theorem proving system competition - CASC-22
AI Communications
Automated theorem proving in quasigroup and loop theory
AI Communications - Practical Aspects of Automated Reasoning
An application of automated reasoning in natural language question answering
AI Communications - Practical Aspects of Automated Reasoning
Reasoning support for CASL with automated theorem proving systems
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Encodings of problems in effectively propositional logic
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Combinations of theories for decidable fragments of first-order logic
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
A framework for the competitive evaluation of model inference techniques
Proceedings of the First International Workshop on Model Inference In Testing
A benchmark- and competition-based approach to software engineering research
Proceedings of the FSE/SDP workshop on Future of software engineering research
The 5th IJCAR automated theorem proving system competition - CASC-J5
AI Communications
The TPTP world - infrastructure for automated reasoning
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Automated Inference of Finite Unsatisfiability
Journal of Automated Reasoning
CASC-J3 the 3rd IJCAR ATP system competition
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Model Evolution with equality - Revised and implemented
Journal of Symbolic Computation
The CADE-23 Automated Theorem Proving System Competition - CASC-23
AI Communications
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
The RERS grey-box challenge 2012: analysis of event-condition-action systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
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, first order Automated Theorem Proving systems - the world championship for such systems. This paper captures the state of CASC after CASC-20, the tenth CASC, held in 2005. It provides a summarized history of CASC, details of the current design of the competition, observations and discussion of the effects of CASC on ATP, lessons learnt during CASC, and remarks regarding the past, present, and future of CASC.