Login / Signup
Simplification and Backjumping in Modal Tableau.
Ullrich Hustadt
Renate A. Schmidt
Published in:
TABLEAUX (1998)
Keyphrases
</>
description logics
modal logic
quantified boolean formulas
multiresolution
nonmonotonic logics
constraint satisfaction problems
databases
neural network
preprocessing
automated theorem proving
tableau calculus
elementary functions
genetic algorithm
pairwise
proof search