The connectivity of Boolean satisfiability: Computational and structural dichotomiesParikshit GopalanPhokion G. Kolaitiset al.2009SIAM Journal on Computing