Pseudo-boolean programming and applications - Ivănescu, Petru L. (Springer, 1965)