@misc{BertholdHeinzPfetsch2009, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch}, title = {Solving Pseudo-Boolean Problems with SCIP}, institution = {Zuse Institute Berlin (ZIB)}, type = {preprintmatheon}, year = {2009}, }