@techreport{BertholdHeinzPfetsch2009, author = {Timo Berthold and Stefan Heinz and Marc Pfetsch}, title = {Nonlinear pseudo-Boolean optimization: relaxation or propagation?}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {09-11}, language = {eng}, year = {2009} }