BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maneva:Elitza_N=

Contributed to:

ICALP (1) 20102010
ICALP (1) 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.