The CADE-14 ATP System Competition

Journal of Automated Reasoning

Volumn 21, Issue 1, 1998, Pages 99-134

  Suttner, Christian ^a   Sutcliffe, Geoff ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b JAMES COOK UNIVERSITY   (Australia)

Author keywords

Automated theorem proving; Competition

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; PROBLEM SOLVING; RESPONSE TIME (COMPUTER SYSTEMS);

AUTOMATED THEOREM PROVING (ATP) SYSTEMS;

THEOREM PROVING;

EID: 0032143259     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1006006930186     Document Type: Article

References (8)

1. Pelletier, F. J., Sutcliffe, G., and Suttner, C. B.: Conclusions about the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997), 287-296.
2. ∼tptp/TPTP/Results.html, 1997.
3. Sutcliffe, G. and Suttner, C.: The CADE-14 ATP system competition, Technical Report 98/01, Department of Computer Science, James Cook University, Townsville, Australia, 1998.
4. Sutcliffe, G. and Suttner, C. B.: Special issue: The CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997).
5. Sutcliffe, G. and Suttner, C. B.: The TPTP problem library: CNF release v1.2.1, J. Automated Reasoning, to appear.
6. Suttner, C. B. and Sutcliffe, G.: The design of the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997), 139-162.
7. Sutcliffe, G. and Suttner, C. B.: The procedures of the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997), 163-169.
8. Suttner, C. B. and Sutcliffe, G.: The TPTP problem library (TPTP v2.0.0), Technical Report AR-97-01, Institut für Informatik, Technische Universität München, Munich, Germany; Technical Report 97/04, Department of Computer Science, James Cook University, Townsville, Australia, 1997.