Simplification and Backjumping in Modal Tableau

Hustadt, U. and Schmidt, R. A. (1998)

In de Swart, H. (ed), Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, Proceedings. Lecture Notes in Computer Science 1397, Springer, 187-201. BiBTeX, PostScript (Copyright © Springer)

This paper is concerned with various schemes for enhancing the performance of modal tableau procedures. It discusses techniques and strategies for dealing with the nondeterminism in tableau calculi, as well as simplification and backjumping. Benchmark results obtained with randomly generated modal formulae show the effect of combinations of different schemes.

Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 27 Apr 2001
Copyright © 1996,7,8 Renate A. Schmidt, School of Computer Science, Man Univ,