Login / Signup
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.
Jean-Marie Lagniez
Daniel Le Berre
Tiago de Lima
Valentin Montmirail
Published in:
IJCAI (2017)
Keyphrases
</>
modal logic
temporal logic
satisfiability problem
decision procedures
inference rules
model checking
search algorithm
np complete
epistemic logic
nonmonotonic logics
situation calculus
phase transition
sat problem
classical logic
constraint satisfaction
stochastic local search algorithms
mazurkiewicz traces