The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies (2006)

by Parikshit Gopalan , et al.
Citations:14 - 3 self