Publications

Publications

by Berthold, Timo; Heinz, Stefan and Pfetsch, Marc E.
Reference:
Nonlinear pseudo-Boolean optimization: relaxation or propagation? (Berthold, Timo; Heinz, Stefan and Pfetsch, Marc E.), In Theory and Applications of Satisfiability Testing – SAT 2009 (Kullmann, Oliver, ed.), Springer, volume 5584, 2009.
Bibtex Entry:
@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},
}