KIT | KIT-Bibliothek | Impressum

A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors

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



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2008
Sprache Englisch
Identifikator ISBN: 978-3-540-79718-0
ISSN: 0302-9743
KITopen ID: 1000028434
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, Berlin
Seiten 161-167
Serie Lecture Notes in Computer Science ; 4996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page