Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)

Nonlinear pseudo-Boolean optimization

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics - number of accesses to the document
Metadaten
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
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.