The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou. The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. SIAM Journal on Computing, 38(6):2330-2355, 2009. [doi]

Abstract

Abstract is missing.