Seventy-five problems for testing automatic theorem provers
Journal of Automated Reasoning
Evaluating general purpose automated theorem proving systems
Artificial Intelligence
Kasparov Vs. Deep Blue: Computer Chess Comes of Age
Kasparov Vs. Deep Blue: Computer Chess Comes of Age
The CADE-14 ATP System Competition
Journal of Automated Reasoning
The CADE-13 ATP System Competition
Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition
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
The Search Efficiency of Theorem Proving Strategies
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
AI Communications
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
Formal Methods in System Design
Proof Systems for Effectively Propositional Logic
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence
An application of automated reasoning in natural language question answering
AI Communications - Practical Aspects of Automated Reasoning
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
Applications of automated reasoning
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A structured set of higher-order problems
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
SMT-COMP: satisfiability modulo theories competition
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Model Evolution with equality - Revised and implemented
Journal of Symbolic Computation
Machine learning approach to enhance the design of automated theorem provers
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part II
Hi-index | 0.00 |
Researchers who make theoretical advances also need some way to demonstrate that an advance really does have general, overall positive consequences for system performance. For this it is necessary to evaluate the system on a set of problems that is sufficiently large and diverse to be somehow representative of the intended application area as a whole. It is only a small step from system evaluation to a communal system competition. The CADE ATP System Competition (CASC) has been run annually since 1996. Any competition is difficult to design and organize in the first instance, and to then run over the years. In order to obtain the full benefits of a competition, a thoroughly organized event, with an unambiguous and motivated design, is necessary. For some issues relevant to the CASC design, inevitable constraints have emerged. For other issues there have been several choices, and decisions have had to be made. This paper describes the evolution of CASC, paying particular attention to its design, design changes, and organization.