@inproceedings{48701a782d63423e9bfab3d8eacfd717,
title = "Simplification and backjumping in modal tableau",
abstract = "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.",
author = "Ullrich Hustadt and R.A. Schmidt",
year = "1998",
doi = "10.1007/3-540-69778-0_22",
language = "English",
volume = "1397",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "187--201",
editor = "{de Swart}, Harrie",
booktitle = "Automated reasoning with analytic tableaux and related methods",
address = "United States",
}