Nonlinear pseudo-Boolean optimization

Export metadata

  • Export Bibtex

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Timo Berthold, Stefan Heinz, Marc Pfetsch
Editor:Oliver Kullmann
Document Type:In Proceedings
Parent Title (English):Theory and Applications of Satisfiability Testing – SAT 2009
Volume:5584
First Page:441
Last Page:446
Series:Lecture Notes in Computer Science
Publisher:Springer
Year of first publication:2009
Preprint:urn:nbn:de:0297-zib-11232

$Rev: 13581 $