Sign in
Back
The CADE-18 ATP System Competition
Journal article   Peer reviewed

The CADE-18 ATP System Competition

G Sutcliffe and C Suttner
Journal of automated reasoning, Vol.31(1), pp.23-32
2003-09
DOI: https://doi.org/10.1023/A:1027302123309

Abstract

Computer Science automated theorem proving Artificial Intelligence (incl. Robotics) competition Symbolic and Algebraic Manipulation Mathematical Logic and Foundations Mathematical Logic and Formal Languages
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.

Metrics

12 Record Views
3 Times Cited - Web of Science

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Citation topics
4 Electrical Engineering, Electronics & Computer Science
4.47 Software Engineering
4.47.281 Abstract Interpretation
Web Of Science research areas
Computer Science, Artificial Intelligence
ESI research areas
Computer Science

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

undefined

Source: InCites

Details