On Using Cutting Planes in Pseudo-Boolean Optimization
Vasco M. Manquinho, João P. Marques-Silva · Journal on Satisfiability Boolean Modeling and Computation · 2006
Cutting planes are a well-known, widely used, and very effective technique for Integer Linear Programming (ILP). However, cutting plane techniques are seldom used in Pseudo-Boolean Optimization (PBO) algorithms. This paper addresses the utilization o