Nonlinear pseudo-Boolean optimization
Verfasserangaben: | Timo BertholdORCiD, Stefan Heinz, Marc PfetschORCiD |
---|---|
Herausgeber:in: | Oliver Kullmann |
Dokumentart: | Konferenzbeitrag |
Titel des übergeordneten Werkes (Englisch): | Theory and Applications of Satisfiability Testing – SAT 2009 |
Band: | 5584 |
Erste Seite: | 441 |
Letzte Seite: | 446 |
Serie: | Lecture Notes in Computer Science |
Verlag: | Springer |
Jahr der Erstveröffentlichung: | 2009 |
Preprint: | urn:nbn:de:0297-zib-11232 |