The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Parikshit Gopalan, Phokion Kolaitis, and Elitza Maneva

Details

Publication typeInproceedings
Published inICALP(1)
> Publications > The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies