Andreas Wolf

According to our database, Andreas Wolf authored at least 7 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2000

E-SETHEO: An Automated³ Theorem Prover.

Gernot Stenz, Andreas Wolf

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Scheduling Methods for Parallel Automated Theorem Proving.

Gernot Stenz, Andreas Wolf

Proceedings of the Advances in Artificial Intelligence, 2000

1999

Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und Beweistransformation.

Andreas Wolf

PhD thesis, 1999

Strategy Parallelism in Automated Theorem Proving.

Andreas Wolf, Reinhold Letz

Int. J. Pattern Recognit. Artif. Intell., 1999

Strategy Selection by Genetic Programming.

Gernot Stenz, Andreas Wolf

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.

Gernot Stenz, Andreas Wolf

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1997

ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output.

Andreas Wolf, Johann Schumann

Proceedings of the Automated Deduction, 1997