Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [2] Hilfe Hilfe
 
Suche: Citkey="Kane-Watanabe/14"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A short implicant of a CNF formula with many satisfying assignments Publikation auswählen
Daniel M. Kane, Osamu Watanabe

Proceedings of the 25th International Symposium on Algorithms and Computation, ISAAC'2014 (Jeonju, Korea, December 15-17, 2014)
Lecture Notes in Computer Science 8889 , 2014, pp. 273-284

Editors  Hee-Kap Ahn, Chan-Su Shin
Publisher:  Springer International Publishing
Address:  Switzerland
 
URL:   http://dx.doi.org/10.1007/978-3-319-13075-0_22