Pseudo-Boolean methods for bivalent programming - Rudeanu, Sergiu (Springer, 1964)