%% -*-BibTeX-*-


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