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

Vasco Manquinho, Joo Marques-Silva

Browse the full SAT paper archive.