E-SETHEO: An automated3 theorem prover

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1847 LNAI, Issue , 2000, Pages 436-440

  Stenz, Gernot ^a   Wolf, Andreas ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b NorCom AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM DOMAIN; SELECTION BASED; STRATEGY EVALUATIONS; TEST DATA; TEST SETS; THEOREM PROVERS; TRAINING DATA;

INFORMATION MANAGEMENT;

THEOREM PROVING;

EID: 84886043387     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722086_34     Document Type: Conference Paper

References (9)

1. J. H. Holland. Adaptation in Natural and Artificial Systems. MIT Press, 1992.
2. M. Moser, et al. SETHEO and E-SETHEO. The CADE-13 Systems. JAR, 18(2):237-246, 1997.
3. S. Schulz. System Abstract: E 0.3. CADE-16, LNAI 1632, pp. 297-60. 1999.
4. G. Stenz and A. Wolf. Strategy Selection by Genetic Programming. FLAIRS-12, pp. 346-350. 1999.
5. G. Stenz and A. Wolf. E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. Australian AI-99, LNAI 1747, pp. 231-243. 1999.
6. G. Sutcliffe, et al. The TPTP Prob. Lib. CADE-12, LNAI 814, pp. 252-266. 1994.
7. A. Wolf and R. Letz. Strategy Parallelism in ATP. IJPRAI, 13(2):219-245, 1999.
8. A. Wolf. p-SETHEO: Strategy Parallelism in ATP. TABLEAUX-98, LNAI 1397, pp. 320-324. 1998.
9. A. Wolf. Strategy Selection for Automated Theorem Proving. AIMSA-98, LNAI 1480, pp. 452-465. 1998.