On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization.

Vasco M. Manquinho João P. Marques Silva

Published in: SAT (2005)

Keyphrases

cutting plane
pseudo boolean optimization
lower bound
cutting plane algorithm
computational complexity
optimization problems
computationally efficient
knapsack problem
mixed integer
integer program