The CADE-18 ATP System Competition

Authors:
G. Sutcliffe;C. B. 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:
Journal of Automated Reasoning
Year:
2003

Citing 7
Cited 3

Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics
The TPTP Problem Library

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
The design and implementation of VAMPIRE

AI Communications - CASC

The CADE-19 ATP system competition

AI Communications
The state of CASC

AI Communications
The CADE-19 ATP System Competition

AI Communications

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-18 was the seventh competition in the CASC series. Twenty-four 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.