The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

jsiam.pdf
PDF file
ICALP.ppt
PowerPoint presentation

In  ICALP(1)

Details

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