Algorithms for variable-weighted 2-SAT and dual problems

Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2007

Veranstaltung

10th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Lissabon, Portugal, 28.05.2007 - 31.05.2007

Ergänzende Angaben

Englischer Fachvortrag und Session Chair

Zugehörige Publikationen