Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation.

Chu Min Li Felip Manyà Nouredine Ould Mohamedou Jordi Planes

Published in: CP (2008)

Keyphrases

lower bound
upper bound
branch and bound algorithm
worst case
branch and bound
lower bounding
objective function
lower and upper bounds
optimal solution
upper and lower bounds
database
special case
np hard
orders of magnitude
randomly generated
sufficiently accurate