A new upper bound for Max-2-SAT: A graph-theoretic approach.
J. Discrete Algorithms. Bd. 8. H. 4. 2010 S. 388 - 401
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.jda.2010.06.001
Geprüft | Bibliothek |
J. Discrete Algorithms. Bd. 8. H. 4. 2010 S. 388 - 401
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.jda.2010.06.001
Geprüft | Bibliothek |