Elitza N. Maneva

28 papers A* 3A 1B 2Journal 20Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Evaluating an AI-Powered Moodle Plugin for Enhancing Conceptual Understanding in Secondary Physics.
Int. J. Emerg. Technol. Learn.
Rabih Kahaleh, Victor Lopez, Rodrigue Imad, Elitza N. Maneva
2013 J jnl
Sherali-Adams Relaxations and Indistinguishability in Counting Logics.
SIAM J. Comput.
Albert Atserias, Elitza N. Maneva
2012 A conf
Sherali-Adams relaxations and indistinguishability in counting logics.
ITCS
Albert Atserias, Elitza N. Maneva
2011 J jnl
A Computational Method for Bounding the Probability of Reconstruction on Trees.
SIAM J. Discret. Math.
Nayantara Bhatnagar, Elitza N. Maneva
2011 J jnl
Graph Isomorphism, Sherali-Adams Relaxations and Expressibility in Counting Logics.
Electron. Colloquium Comput. Complex.
Albert Atserias, Elitza N. Maneva
2011 J jnl
Mean-payoff games and propositional proofs.
Inf. Comput.
Albert Atserias, Elitza N. Maneva
2010 J jnl
Lossy source compression using low-density generator matrix codes: analysis and algorithms.
IEEE Trans. Inf. Theory
Martin J. Wainwright, Elitza N. Maneva, Emin Martinian
2010 — conf
Mean-Payoff Games and Propositional Proofs.
ICALP (1)
Albert Atserias, Elitza N. Maneva
2010 J jnl
Mean-payoff games and propositional proofs.
Electron. Colloquium Comput. Complex.
Albert Atserias, Elitza N. Maneva
2009 J jnl
A computational method for bounding the probability of reconstruction on trees
CoRR
Nayantara Bhatnagar, Elitza N. Maneva
2009 J jnl
Pruning processes and a new characterization of convex geometries.
Discret. Math.
Federico Ardila, Elitza N. Maneva
2009 J jnl
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.
SIAM J. Comput.
Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2008 J jnl
On the satisfiability threshold and clustering of solutions of random 3-SAT formulas.
Theor. Comput. Sci.
Elitza N. Maneva, Alistair Sinclair
2007 J jnl
A Hike in the Phases of the 1-in-3 Satisfiability
CoRR
Elitza N. Maneva, Talya Meltzer, Jack Raymond, Andrea Sportiello, Lenka Zdeborová
2007 J jnl
A new look at survey propagation and its generalizations.
J. ACM
Elitza N. Maneva, Elchanan Mossel, Martin J. Wainwright
2007 J jnl
On the Satisfiability Threshold and Clustering of Solutions of Random 3-SAT Formulas
CoRR
Elitza N. Maneva, Alistair Sinclair
2007 J jnl
Shelling Processes and a New Characterization of Convex Geometries
CoRR
Federico Ardila, Elitza N. Maneva
2006 B conf
New model for rigorous analysis of LT-codes.
ISIT
Elitza N. Maneva, Amin Shokrollahi
2006 J jnl
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
CoRR
Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2006 — conf
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.
ICALP (1)
Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2006 J jnl
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.
Electron. Colloquium Comput. Complex.
Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2005 A* conf
A new look at survey propagation and its generalizations.
SODA
Elitza N. Maneva, Elchanan Mossel, Martin J. Wainwright
2005 J jnl
Lossy source encoding via message-passing and decimation over generalized codewords of LDGM codes
CoRR
Martin J. Wainwright, Elitza N. Maneva
2005 B conf
Lossy source encoding via message-passing and decimation over generalized codewords of LDGM codes.
ISIT
Martin J. Wainwright, Elitza N. Maneva
2005 J jnl
New model for rigorous analysis of LT-codes
CoRR
Elitza N. Maneva, Amin Shokrollahi
2004 J jnl
A New Look at Survey Propagation and its Generalizations
CoRR
Elitza N. Maneva, Elchanan Mossel, Martin J. Wainwright
2004 A* conf
Power-aware base station positioning for sensor networks.
INFOCOM
Andrej Bogdanov, Elitza N. Maneva, Samantha J. Riesenfeld
2003 A* conf
On a network creation game.
PODC
Alex Fabrikant, Ankur Luthra, Elitza N. Maneva, Christos H. Papadimitriou, Scott Shenker