TY  - RPRT
TI  - The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits
AU  - Konrad W. Schwerdtfeger
PY  - 2015
UR  - https://arxiv.org/abs/1312.6679
ID  - 1312.6679
ER  -