-positive satisfiability problem.

Xiong Huang Wei Li

Published in: J. Comput. Sci. Technol. (1999)

Keyphrases

satisfiability problem
np complete
search algorithm
temporal logic
phase transition
sat problem
solving hard
stochastic local search
pspace complete
stochastic local search algorithms
max sat
sat instances
decision procedures
mazurkiewicz traces
scheduling problem
conjunctive normal form