Repository landing page
Connectivity of Boolean satisfiability
Abstract
[no abstract- status-type:publishedVersion
- doc-type:DoctoralThesis
- doc-type:Text
- Computational complexity
- Boolean satisfiability
- graph connectivity
- Boolean CSPs
- Boolean circuits
- Post's lattice
- dichotomy theorems
- Komplexität
- Erfüllbarkeit
- Zusammenhang in Graphen
- Boolesche CSPs
- Boolesche Schaltkreise
- Post'scher Verband
- Dichotomien
- ddc:004