Algorithms for Weighted Boolean Optimization
In: Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, Jg. 5584 (2009), S. 495-508
Online
E-Book
Zugriff:
Titel: |
Algorithms for Weighted Boolean Optimization
|
---|---|
Autor/in / Beteiligte Person: | Manquinho, Vasco ; Marques-Silva, Joao ; Planes, Jordi ; Hutchison, David, Series editor ; Kanade, Takeo, Series editor ; Kittler, Josef, Series editor ; Kleinberg, Jon M., Series editor ; Mattern, Friedemann, Series editor ; Mitchell, John C., Series editor ; Naor, Moni, Series editor ; Nierstrasz, Oscar, Series editor ; Pandu Rangan, C., Series editor ; Steffen, Bernhard, Series editor ; Sudan, Madhu, Series editor ; Terzopoulos, Demetri, Series editor ; Tygar, Doug, Series editor ; Vardi, Moshe Y., Series editor ; Weikum, Gerhard, Series editor ; Kullmann, Oliver [Ed.] |
Zeitschrift: | Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, Jg. 5584 (2009), S. 495-508 |
Veröffentlichung: | 2009 |
Medientyp: | E-Book |
ISBN: | 978-3-642-02776-5 (print) ; 978-3-642-02777-2 (print) |
DOI: | 10.1007/978-3-642-02777-2_45 |
Sonstiges: |
|