@inproceedings{BertholdHeinzPfetsch2009, author = {Timo Berthold and Stefan Heinz and Marc Pfetsch}, title = {Nonlinear pseudo-Boolean optimization}, booktitle = {Theory and Applications of Satisfiability Testing - SAT 2009}, editor = {Oliver Kullmann}, volume = {5584}, pages = {441 -- 446}, year = {2009}, }