"Pseudo-Boolean Methods for Bivalent Programming" - читать интересную книгу автора (P. L Hammer)