Algorithms for variable-weighted 2-SAT and dual problems
Konferenzbeitrag › Konferenzpaper
› 2007
Zitation
Konferenzbeitrag Full Paper
Porschen, S.; Speckenmeyer, E.: Algorithms for variable-weighted 2-SAT and dual problems . In: Proceedings SAT 2007. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer-Verlag 2007( LNCS, Vol. 4501), S. 173-186.
ISSN
ISBN
Zitieren
Zugehörige Veranstaltungen
-
Algorithms for variable-weighted 2-SAT and dual problems
10th International Conference on Theory and Applications of Satisfiability Testing in conjunction with FLOC 2006
Lissabon, Portugal, 28.05.2007Veranstaltungsbeitrag › Sonstiger Veranstaltungsbeitrag › 2007