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]

Authors

Parikshit Gopalan

This author has not been identified. Look up 'Parikshit Gopalan' in Google

Phokion G. Kolaitis

This author has not been identified. Look up 'Phokion G. Kolaitis' in Google

Elitza N. Maneva

This author has not been identified. Look up 'Elitza N. Maneva' in Google

Christos H. Papadimitriou

This author has not been identified. Look up 'Christos H. Papadimitriou' in Google