Travelled to:1 × Russia
1 × USA
Collaborated with:C.Popeea A.Rybalchenko S.Chaudhuri
Talks about:solv (2) constraint (1) existenti (1) quantifi (1) approach (1) infinit (1) graph (1) claus (1) horn (1) game (1)
Person: Tewodros A. Beyene
DBLP: Beyene:Tewodros_A=
Contributed to:
2014
2013Wrote 2 papers:
- POPL-2014-BeyeneCPR #approach #constraints #game studies #graph #infinity
- A constraint-based approach to solving games on infinite graphs (TAB, SC, CP, AR), pp. 221–234.
- CAV-2013-BeyenePR #horn clause #quantifier
- Solving Existentially Quantified Horn Clauses (TAB, CP, AR), pp. 869–882.