@InProceedings{BerHP09,
  author =	 {Timo Berthold and Stefan Heinz and Marc E.\ Pfetsch},
  title =	 {Nonlinear pseudo-Boolean optimization: relaxation or
                  propagation?},
  booktitle =	 {Theory and Applications of Satisfiability Testing -- SAT
                  2009},
  pages =	 {441--446},
  year =	 {2009},
  editor =	 {Oliver Kullmann},
  volume =	 {5584},
  series =	 {Lecture Notes in Computer Science},
  month =	 {July},
  publisher =	 {Springer}
}