Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)
  • Treffer 6 von 8
Zurück zur Trefferliste

Nonlinear pseudo-Boolean optimization

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar Statistik - Anzahl der Zugriffe auf das Dokument
Metadaten
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
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.