The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits (Q4981174)
From MaRDI portal
scientific article; zbMATH DE number 6307660
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits |
scientific article; zbMATH DE number 6307660 |
Statements
The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits (English)
0 references
24 June 2014
0 references
