Solving minimum-weight exact satisfiability in O(2^{0.2441n}) time
Konferenzbeitrag › Konferenzpaper
› 2005
Zitation
Konferenzbeitrag Full Paper
Porschen, Stefan: Solving minimum-weight exact satisfiability in O(2^{0.2441n}) time. In: Proceedings ISAAC 2005. Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer Verlag 2005( LNCS, Vol. 3827), S. 654-664.
ISSN
ISBN
Zitieren
Zugehörige Veranstaltungen
-
Solving minimum-weight exact satisfiability in O(2^{0.2441n}) time
16th International Symposium on Algorithms and Computation
Hainan, China, 19.12.2005Veranstaltungsbeitrag › Vortrag › 2005