Generalized modal satisfiability.

Edith Hemaspaandra Henning Schnoor Ilka Schnoor

Published in: J. Comput. Syst. Sci. (2010)

Keyphrases

np complete
modal logic
satisfiability problem
phase transition
propositional logic
decision procedures
machine learning
website
database systems
computational complexity
evolutionary algorithm
special case
orders of magnitude
default logic
sat problem
nonmonotonic logics