The connectivity of Boolean satisfiability: Computational and structural dichotomies
- Parikshit Gopalan
- Phokion G. Kolaitis
- et al.
- 2009
- SIAM Journal on Computing
Publications
Date
Featured collections
Popular topics
3 results for Elitza Maneva
Pruning processes and a new characterization of convex geometries
- Federico Ardila
- Elitza Maneva
- 2009
- Discrete Mathematics
On the satisfiability threshold and clustering of solutions of random 3-SAT formulas
- Elitza Maneva
- Alistair Sinclair
- 2008
- Theoretical Computer Science