The IJCAR ATP System Competition

Authors:
G. Sutcliffe;C. B. Suttner;F. J. Pelletier
Affiliations:
Department of Computer Science, University of Miami, U.S.A. e-mail: geoff@cs.miami.edu;Cirrus Management, München, Germany. e-mail: email@csuttner.de;Department of Computing Science, University of Alberta, Canada. e-mail: jeffp@cs.ualberta.ca
Venue:
Journal of Automated Reasoning
Year:
2002

The CADE-14 ATP System Competition

Journal of Automated Reasoning
The CADE-13 ATP System Competition

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
FINDER: Finite Domain Enumerator - System Description

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
SPASS & FLOTTER Version 0.42

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
System Abstract: E 0.61

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
DCTP - A Disconnection Calculus Theorem Prover - System Abstract

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

The CADE-18 ATP System Competition

Journal of Automated Reasoning
The state of CASC

AI Communications
The development of CASC

AI Communications - CASC
E - a brainiac theorem prover

AI Communications - CASC
Automated reasoning: past story and new trends

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00

The results of the IJCAR ATP System Competition are presented.