TY  - RPRT
TI  - The Connectivity of Boolean Satisfiability: No-Constants and Quantified Variants
AU  - Konrad W. Schwerdtfeger
PY  - 2015
UR  - https://arxiv.org/abs/1403.6165
ID  - 1403.6165
ER  -