Journal: Electronic Colloquium on Computational Complexity (ECCC)

Volume 13, Issue 094

0 -- 0Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou. The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies