The inequality-satisfiability problem.

Dorit S. Hochbaum Erick Moreno-Centeno

Published in: Oper. Res. Lett. (2008)

Keyphrases

satisfiability problem
np complete
search algorithm
temporal logic
phase transition
stochastic local search
stochastic local search algorithms
sat problem
sat instances
decision procedures
solving hard
pspace complete
orders of magnitude
linear programming
upper bound
np hard
special case