System Description: Waldmeister - Improvements in Performance and Ease of Use (1999)
by
Thomas Hillenbrand
,
Andreas Jaeger
,
Bernd Löchner
| Citations: | 6 - 2 self |
BibTeX
@MISC{Hillenbrand99systemdescription:,
author = {Thomas Hillenbrand and Andreas Jaeger and Bernd Löchner},
title = {System Description: Waldmeister - Improvements in Performance and Ease of Use},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we present two aspects of our recent work which aim at improving the system with respect to performance and ease of use. Section 2 describes a more powerful hypothesis handling. In Sect. 3 we investigate the control of the proof search and outline our current component of self-adaptation to the given proof problem
Citations
| 120 | Completion without failure - Bachmair, Dershowitz, et al. - 1989 |
| 26 | Rings that are nearly associative - Zhevlakov, Slinko, et al. - 1982 |
| 18 | Learning Domain Knowledge to Improve Theorem Proving - Denzinger, Schulz - 1996 |
| 14 | WALDMEISTER: Development of a High Performance Completion-Based Theorem - Buch, Hillenbrand - 1996 |
| 6 | Waldmeister: Highperformance equational deduction - Hillenbrand, Buch, et al. - 1997 |
| 6 | The TPTP problem library (TPTP v2.2.0 - Suttner, Sutclie - 1999 |
| 4 | Anwendungen von Nachfolgermengen in Termersetzungssystemen - Jaeger - 1997 |
