Pseudo-boolean methods for bivalent programming - Ivanescu, Petru L. (Lecture notes in mathematics, vol. 23, 1966)