TY  - RPRT
TI  - A Computational Trichotomy for Connectivity of Boolean Satisfiability
AU  - Konrad W. Schwerdtfeger
PY  - 2015
UR  - https://arxiv.org/abs/1312.4524
ID  - 1312.4524
ER  -