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