On pseudo-Boolean Programming and generalizations: Applying mathematical logic to 0-1 integer programming. - Ziegler, Leopold A. (Research Memorandum. Institute for Advanced Studies, Vienna, 1976)