Pseudo-Boolean Programming and Applications by P.L. Ivanescu