Generalized Satisfiability Problems via Operator Assignments.

Albert Atserias Phokion G. Kolaitis Simone Severini

Published in: FCT (2017)

Keyphrases

satisfiability problem
np complete
search algorithm
phase transition
temporal logic
stochastic local search
sat problem
pspace complete
stochastic local search algorithms
max sat
solving hard
davis putnam
finite domain
mazurkiewicz traces
model checking