Nonlinear pseudo-Boolean optimization
Author: | Timo BertholdORCiD, Stefan Heinz, Marc PfetschORCiD |
---|---|
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 |