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 |

