Andreas Wolf

Publication Activity (10 Years)

Years Active: 1997-2000
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Gernot Stenz, Andreas Wolf
Scheduling Methods for Parallel Automated Theorem Proving. Canadian Conference on AI (2000)
Gernot Stenz, Andreas Wolf
Theorem Prover. TABLEAUX (2000)
Andreas Wolf, Reinhold Letz
Strategy Parallelism in Automated Theorem Proving. Int. J. Pattern Recognit. Artif. Intell. 13 (2) (1999)
Gernot Stenz, Andreas Wolf
Strategy Selection by Genetic Programming. FLAIRS Conference (1999)
Gernot Stenz, Andreas Wolf
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. Australian Joint Conference on Artificial Intelligence (1999)
Andreas Wolf, Reinhold Letz
Strategy Parallelism in Automated Theorem Proving. FLAIRS Conference (1998)
Andreas Wolf, Johann Schumann
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. CADE (1997)