On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization.

Federico Heras Vasco M. Manquinho João Marques-Silva

Published in: FLAIRS Conference (2008)

Keyphrases

lower bound
pseudo boolean optimization
max sat
upper bound
branch and bound algorithm
branch and bound
unit propagation
optimal solution
np hard
upper and lower bounds
constraint satisfaction problems
lower and upper bounds
objective function
linear programming
np complete
conjunctive normal form