Dichotomy Theorem for the Generalized Unique Satisfiability Problem.

Published in: FCT (1999)

Keyphrases

satisfiability problem
np complete
search algorithm
temporal logic
phase transition
solving hard
sat problem
stochastic local search
stochastic local search algorithms
pspace complete
max sat
finite domain
database
query answering
sat instances