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

by Parikshit Gopalan , et al.
Citations:15 - 4 self