C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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