The CADE-19 ATP System Competition

Authors:
Geoff Sutcliffe;Christian Suttner
Affiliations:
Department of Computer Science, University of Miami, USA E-mail: geoff@cs.miami.edu;Cirrus Management, Germany E-mail: christian@suttner.info
Venue:
AI Communications
Year:
2004

Citing 7
Cited 0

Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Gandalf

Journal of Automated Reasoning
The TPTP Problem Library

Journal of Automated Reasoning
The CADE-16 ATP System Competition

Journal of Automated Reasoning
DCTP 1.2 - System Abstract

TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The CADE-18 ATP System Competition

Journal of Automated Reasoning
The design and implementation of VAMPIRE

AI Communications - CASC

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 (ATP) systems. CASC-19 was the eighth competition in the CASC series. Twenty-five ATP system variants competed in the various competition and demonstration divisions. An outline of the design and a commentated summary of the results are presented.