@TechReport{BerHP08, author = {Timo Berthold and Stefan Heinz and Marc E.\ Pfetsch}, title = {Solving Pseudo-Boolean Problems with {SCIP}}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-12} }