@techreport{BertholdHeinzPfetsch2008, author = {Timo Berthold and Stefan Heinz and Marc Pfetsch}, title = {Solving Pseudo-Boolean Problems with SCIP}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {08-12}, language = {eng}, year = {2008} }