Generalized Satisfiability Problems via Operator Assignments.

Albert Atserias Phokion G. Kolaitis Simone Severini

Published in: CoRR (2017)

Keyphrases

satisfiability problem
np complete
temporal logic
phase transition
search algorithm
sat problem
solving hard
stochastic local search algorithms
davis putnam
stochastic local search
pspace complete
mazurkiewicz traces
max sat
finite domain
constraint satisfaction
constraint satisfaction problems
dynamic programming