The new WALDMEISTER loop at work

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

Volumn 2741, Issue , 2003, Pages 317-321

  Gaillourdet, Jean Marie ^a   Löchner, Bernd ^a   Spies, Hendrik ^a  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 7044247196     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45085-6_27     Document Type: Conference Paper

References (9)

1. L. Bachmair, N. Dershowitz, and D. A. Plaisted. Completion without failure. In Resolution of Equations in Algebraic Structures, volume 2, pp. 1-30. Academic Press, 1989.
2. R. Bündgen, M. Göbel, W. Küchlin, and A. Weber. Parallel term rewriting with PaReDuX. In W. Bibel and P. H. Schmitt, eds., Automated Deduction—A Basis for Applications, Volume II: Systems and Implementation Techniques, pp. 231-260. Kluwer Academic Publishers, 1998.
3. M. P. Bonacina. A taxonomy of parallel strategies for deduction. Annals of Mathematics and Artificial Intelligence, 29(1-4):223-257, 2000.
4. J. Denzinger and D. Fuchs. Cooperation of heterogeneous provers. In T. Dean, ed., Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp. 10-15. Morgan Kaufmann, 1999.
5. Th. Hillenbrand and B. Löchner. The next Waldmeister loop. In A. Voronkov, ed., Proceedings of the 18th International Conference on Automated Deduction, LNAI, pp. 486-500. Springer-Verlag, 2002.
6. B. Löchner and Th. Hillenbrand. A phytography of Waldmeister. AI Communications, 15(2,3):127-133, 2002.
7. W. McCune. 33 basic test problems: a practical evaluation of some paramodulation strategies. In R. Veroff, ed., Automated Reasoning and its Applications: Essays in Honor of Larry Wos, pp. 71-114. MIT Press, 1997.
8. A. Riazanov and A. Voronkov. Limited resource strategy in resolution theorem proving. Tech. Report CSPP-7, University of Manchester, 2000.
9. C. B. Suttner and G. Sutcliffe. The TPTP problem library (TPTP v2.2.0). Tech. Report 99/02, James Cook University, Townsville, 1999.