Schwerdtfeger, Konrad W.: Connectivity of Boolean satisfiability. Hannover : Gottfried Wilhelm Leibniz Universität Hannover, Diss., 2016, 74 S.
Zusammenfassung: |
[no abstract]
|
Lizenzbestimmungen: |
Es gilt deutsches Urheberrecht. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden. |
Publikationstyp: |
DoctoralThesis |
Publikationsstatus: |
publishedVersion |
Erstveröffentlichung: |
2016 |
Schlagwörter (deutsch): |
Komplexität, Erfüllbarkeit, Zusammenhang in Graphen, Boolesche CSPs, Boolesche Schaltkreise, Post'scher Verband, Dichotomien
|
Schlagwörter (englisch): |
Computational complexity, Boolean satisfiability, graph connectivity, Boolean CSPs, Boolean circuits, Post's lattice, dichotomy theorems
|
Fachliche Zuordnung (DDC): |
004 | Informatik
|