The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies - Microsoft Research

Microsoft Translator |

The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Parikshit Gopalan, Phokion Kolaitis, and Elitza Maneva
June 2006

jsiam.pdf

ICALP.ppt

PowerPoint presentation

In ICALP(1)

Details

Type	Inproceedings

Related People

Parikshit Gopalan

Share

> Publications > The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies