The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies | Publicación