Pseudo-boolean programming and applications - Ivanescu, Petru L (Berlin Springer-Verlag, 1965)