Reference 6
(back to home) (about this survey)
[6]
Parikshit Gopalan, Phokion G. Kolaitis, Elitza Maneva and Christos H. Papadimitriou,
The connectivity of Boolean satisfiability: computational and structural dichotomies,
SIAM Journal on Computing 38(6), pp. 2330-2355, 2009. (LINK)
The connectivity of Boolean satisfiability: computational and structural dichotomies,
SIAM Journal on Computing 38(6), pp. 2330-2355, 2009. (LINK)