The CADE-20 automated theorem proving competition

Authors:
Geoff Sutcliffe
Affiliations:
Department of Computer Science, University of Miami
Venue:
AI Communications
Year:
2006

Citing 9
Cited 3

Evaluating general purpose automated theorem proving systems

Artificial Intelligence
The TPTP Problem Library

Journal of Automated Reasoning
The CADE-16 ATP System Competition

Journal of Automated Reasoning
Towards Efficient Subsumption

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
S PASS Version 2.0

CADE-18 Proceedings of the 18th International Conference on Automated Deduction
System Description: SCOTT-5

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The IJCAR-2004 automated theorem proving competition

AI Communications
The state of CASC

AI Communications
The design and implementation of VAMPIRE

AI Communications - CASC

User Interaction with the Matita Proof Assistant

Journal of Automated Reasoning
The 3rd IJCAR Automated Theorem Proving Competition

AI Communications
The mathserve system for semantic web reasoning services

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-20 was the tenth competition in the CASC series. Seventeen 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.