The IJCAR-2004 automated theorem proving competition

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

Citing 9
Cited 8

The TPTP Problem Library

Journal of Automated Reasoning
The CADE-16 ATP System Competition

Journal of Automated Reasoning
E-SETHEO: An Automated3 Theorem Prover

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
DCTP 1.2 - System Abstract

TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
S PASS Version 2.0

CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The CADE-19 ATP system competition

AI Communications
The design and implementation of VAMPIRE

AI Communications - CASC
Lemma learning in the model evolution calculus

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
The model evolution calculus with equality

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

The state of CASC

AI Communications
The CADE-20 automated theorem proving competition

AI Communications
Applying SAT Solving in Classification of Finite Algebras

Journal of Automated Reasoning
Automatic Construction and Verification of Isotopy Invariants

Journal of Automated Reasoning
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
First Order Stålmarck

Journal of Automated Reasoning
Solving quantified verification conditions using satisfiability modulo theories

Annals of Mathematics and Artificial Intelligence
Automatic construction and verification of isotopy invariants

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 - the world championship for such systems. CASC-J2 was the ninth 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.