Last change: 02.02.2024 10:23.
by Berthold, Timo; Heinz, Stefan and
Pfetsch, Marc E.Reference:
Berthold, Timo; Heinz, Stefan and Pfetsch, Marc E.: "Nonlinear pseudo-Boolean optimization: relaxation or propagation?", In: Theory and Applications of Satisfiability Testing – SAT 2009 (Kullmann, Oliver, ed.), Springer, pp. 441–446, 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},
}