Reasoning about Strategies: on the Satisfiability Problem.

Fabio Mogavero Aniello Murano Giuseppe Perelli Moshe Y. Vardi

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

satisfiability problem
np complete
search algorithm
temporal logic
phase transition
sat problem
solving hard
stochastic local search algorithms
pspace complete
sat instances
stochastic local search
np hard
modal logic
decision procedures