The development of CASC

AI Communications

Volumn 15, Issue 2, 2002, Pages 79-90

  Pelletier, Francis Jeffry ^a,c   Sutcliffe, Geoff ^b   Suttner, Christian ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

^b Department of Computer Science and Center for Computational Science   (United States)

^c Cirrus Management   (Germany)

Author keywords

Automated theorem proving; Competition; History

Indexed keywords

SYSTEMS ANALYSIS; SYSTEMS ENGINEERING; THEOREM PROVING;

AUTOMATED THEOREM PROVING;

ARTIFICIAL INTELLIGENCE;

EID: 0036322543     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. Search space and proof complexity of theorem proving strategies
2. On the polynomial transparency of resolution
3. The CADE-11 competitions: A personal view
4. Seventy-five problems for testing automatic theorem provers
5. The philosophy of automated theorem proving
6. The search efficiency of theorem proving strategies
7. The CADE-16 ATP system competition
8. The CADE-17 ATP system competition
9. Progress in automated theorem proving, 1997-1999
10. The IJCAR ATP system competition
11. Special issue: The CADE-13 ATP system competition
12. The TPTP problem library: CNF release vl.2.1
13. The CADE-15 ATP system competition
14. Evaluating general purpose automated theorem proving systems
15. The Design of the CADE-13 ATP system competition
16. The CADE-14 ATP system competition