Publications

3 results for Elitza Maneva

The connectivity of Boolean satisfiability: Computational and structural dichotomies
- - Parikshit Gopalan
  - Phokion G. Kolaitis
  - et al.
- 2009
- SIAM Journal on Computing
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