KIT | KIT-Bibliothek | Impressum | Datenschutz

Computation of renameable Horn backdoors

Kottler, S.; Kaufmann, M.; Sinz, C.


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2008
Sprache Englisch
Identifikator ISBN: 978-3-540-79718-0
ISSN: 0302-9743
KITopen-ID: 1000028432
Erschienen in Theory and Applications of Satisfiability Testing 11 SAT 2008 11th International Conference, SAT 2008 Guangzhou, China, May 12-15, 2008 Proceedings. Ed.: H. Kleine Büning
Verlag Springer-Verlag
Seiten 154-160
Serie Lecture Notes in Computer Science ; 4996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page