On variable-weighted exact satisfiability problems.

Stefan Porschen

Published in: Ann. Math. Artif. Intell. (2007)

Keyphrases

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