Slide 1The Connectivity of Boolean Satisfiability: Computational & Structural Dichotomies Parikshit GopalanGeorgia Tech Phokion KolaitisIBM Almaden Elitza ManevaUC Berkeley…