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]

Possibly Related Publications

The following publications are possibly variants of this publication: