The following pages link to Elitza Maneva (Q716323):
Displayed 16 items.
- Mean-payoff games and propositional proofs (Q716324) (← links)
- On the satisfiability threshold and clustering of solutions of random 3-SAT formulas (Q955013) (← links)
- Pruning processes and a new characterization of convex geometries (Q1025925) (← links)
- Sherali-Adams relaxations and indistinguishability in counting logics (Q2826069) (← links)
- Sherali--Adams Relaxations and Indistinguishability in Counting Logics (Q2839173) (← links)
- (Q2906531) (← links)
- (Q2921781) (← links)
- On a network creation game (Q2943776) (← links)
- A Computational Method for Bounding the Probability of Reconstruction on Trees (Q3094947) (← links)
- A new look at survey propagation and its generalizations (Q3546340) (← links)
- Mean-Payoff Games and Propositional Proofs (Q3587372) (← links)
- (Q4819594) (← links)
- Lossy Source Compression Using Low-Density Generator Matrix Codes: Analysis and Algorithms (Q4975985) (← links)
- (Q5373695) (← links)
- The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies (Q5901484) (← links)
- The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies (Q5902502) (← links)