A Polynomial Time Approximation Scheme for Dense MIN 2SAT.

Cristina Bazgan Wenceslas Fernandez de la Vega

Published in: FCT (1999)

Keyphrases

polynomial time approximation
approximation algorithms
np hard
error bounds
bin packing
search algorithm
special case
identical machines
stochastic local search algorithms
image sequences
minimum cost
worst case
sat solvers
stochastic local search
satisfiability problem
theoretical analysis
optimal solution