Parameterized Modal Satisfiability.

Antonis Achilleos Michael Lampis Valia Mitsou

Published in: Algorithmica (2012)

Keyphrases

sat problem
satisfiability problem
np complete
phase transition
modal logic
sat solving
temporal logic
propositional satisfiability
information systems
np hard
artificial intelligence
decision procedures
search algorithm
nonmonotonic logics
data mining
propositional logic
neural network
data sets