The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.

Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou

Browse the full ICALP paper archive.