The CADE-17 ATP System Competition

Authors:
G. Sutcliffe
Affiliations:
School of Information Technology, James Cook University, Townsville, Australia.geoff@cs.jcu.edu.au
Venue:
Journal of Automated Reasoning
Year:
2001

Resolution Methods for the Decision Problem

Resolution Methods for the Decision Problem
The CADE-14 ATP System Competition

Journal of Automated Reasoning
The CADE-13 ATP System Competition

Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition

Journal of Automated Reasoning
The Procedures of the CADE-13 ATP System Competition

Journal of Automated Reasoning
Gandalf

Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems

Journal of Automated Reasoning
The TPTP Problem Library

Journal of Automated Reasoning
The CADE-15 ATP System Competition

Journal of Automated Reasoning
The CADE-16 ATP System Competition

Journal of Automated Reasoning
The CADE-17 ATP System Competition

Journal of Automated Reasoning
Smart Selective Competition Parallelism ATP

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
p-SETHEO: Strategy Parallelism in Automated Theorem Proving

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
SPASS & FLOTTER Version 0.42

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction

The CADE-17 ATP System Competition

Journal of Automated Reasoning
The IJCAR ATP System Competition

Journal of Automated Reasoning
System Abstract: E 0.61

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Trading Agents Competing: Performance, Progress, and Market Effectiveness

IEEE Intelligent Systems
The state of CASC

AI Communications
The development of CASC

AI Communications - CASC

Hi-index	0.00

The results of the CADE-17 ATP System Competition (CASC-17) are presented.