Konrad W. Schwerdtfeger. A Computational Trichotomy for Connectivity of Boolean Satisfiability. JSAT, 8(3/4):173-195, 2014. [doi]
@article{Schwerdtfeger14-1,
title = {A Computational Trichotomy for Connectivity of Boolean Satisfiability},
author = {Konrad W. Schwerdtfeger},
year = {2014},
url = {https://satassociation.org/jsat/index.php/jsat/article/view/107},
researchr = {https://researchr.org/publication/Schwerdtfeger14-1},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {8},
number = {3/4},
pages = {173-195},
}