The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. Gopalan, P., Kolaitis, P. G., Maneva, E. N., & Papadimitriou, C. H. SIAM Journal on Computing, 38(6):2330–2355, 2009.
doi  bibtex   
@article{journals/siamcomp/GopalanKMP09,
	title         = {{The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies}},
	author        = {Parikshit Gopalan and Phokion G. Kolaitis and Elitza N. Maneva and Christos H. Papadimitriou},
	year          = {2009},
	journal       = {SIAM Journal on Computing},
	volume        = {38},
	number        = {6},
	pages         = {2330--2355},
	doi           = {10.1137/07070440x},
	archiveprefix = {arXiv},
	eprint        = {cs/0609072}
}

Downloads: 0