The connectivity of boolean satisfiability: Computational and structural dichotomies (0)

by P Gopalan, P G Kolaitis, E Maneva, C H Papadimitriou
Venue:SIAM J. Comput