TY - RPRT TI - The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies AU - Parikshit Gopalan AU - Phokion G. Kolaitis AU - Elitza Maneva AU - Christos H. Papadimitriou PY - 2007 UR - https://arxiv.org/abs/cs/0609072 ID - cs/0609072 ER -