C 122.720114 Z i e g I e r, Leopold A.: On pseudo-boolean Progranming and generalizations: appIying nathematical Iogic to 0-1 integer programming.-(~ ien: Ins~itut f. Höhere Studien) 1976. 43, 2 BI. 4 (Institut f. Höhere Studien. Research-Memorandum. 114.)