The procedures of the CADE-13 ATP System Competition

Journal of Automated Reasoning

Volumn 18, Issue 2, 1997, Pages 163-169

  Sutcliffe, Geoff ^a   Suttner, Christian ^b  

^a JAMES COOK UNIVERSITY   (Australia)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Automated theorem proving; Competition; Procedures

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE; COMPUTER OPERATING PROCEDURES; COMPUTER SOFTWARE;

AUTOMATED THEOREM PROVING (ATP) SYSTEMS;

THEOREM PROVING;

EID: 0031108958     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1005858625038     Document Type: Article

References (4)

1. Sutcliffe, G. and Suttner, C. B.: The results of the CADE-13 ATP system competition, Journal of Automated Reasoning 18(2) (1997).
2. Suttner, C. B. and Sutcliffe, G.: The TPTP Problem Library (TPTP v1.2.1), Technical Report AR-96-02, Institut für Informatik, Technische Universität München, Munich, Germany, 1996;
3. Technical Report 96/09, Department of Computer Science, James Cook University, Townsville, Australia, 1996.
4. Suttner, C. B. and Sutcliffe, G.: The design of the CADE-13 ATP system competition, Journal of Automated Reasoning 18(2) (1997).