Travelled to:1 × France
1 × Italy
Collaborated with:A.Atserias P.Gopalan P.G.Kolaitis C.H.Papadimitriou
Talks about:dichotomi (1) structur (1) proposit (1) satisfi (1) connect (1) boolean (1) payoff (1) comput (1) proof (1) mean (1)
Person: Elitza N. Maneva
DBLP: Maneva:Elitza_N=
Contributed to:
20102006Wrote 2 papers:
- ICALP-v1-2010-AtseriasM #game studies #proving
- Mean-Payoff Games and Propositional Proofs (AA, ENM), pp. 102–113.
- ICALP-v1-2006-GopalanKMP #satisfiability
- The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies (PG, PGK, ENM, CHP), pp. 346–357.