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