Statistics
Publications
1
Citations
31
H-Index
1
Active since
2011
Affiliations
Data61(Current)
Oana Tifrea is an author at Data61 specializing in boolean algebra, combinatorial search, and set theory.
Publications per year
2011–2011
1
1
Symmetry-breaking answer set solving
Christian Drescher, Oana Tifrea, Toby Walsh · AI Communications · 2011 · 31 citations
1–1 of 1