Generalized CNF Satisfiability Problems and Non-Efficient.

Harry B. Hunt III Madhav V. Marathe Richard Edwin Stearns

Published in: Computational Complexity Conference (1994)

Keyphrases

satisfiability problem
search algorithm
conjunctive normal form
temporal logic
sat problem
np complete
phase transition
sat instances
stochastic local search
automated reasoning
max sat
stochastic local search algorithms