Sciweavers

Share
TABLEAUX
1998
Springer

Simplification and Backjumping in Modal Tableau

11 years 5 months ago
Simplification and Backjumping in Modal Tableau
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.
Ullrich Hustadt, Renate A. Schmidt
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where TABLEAUX
Authors Ullrich Hustadt, Renate A. Schmidt
Comments (0)
books