Concepedia

Alexandra Goultiaeva

AG

Statistics

Publications

4

Citations

150

H-Index

4

Active since

2010

Affiliations

University of Toronto(Current)

Johannes Kepler University of Linz

Alexandra Goultiaeva is an author at University of Toronto specializing in boolean algebra, computer science, and computing.

Publications per year

2010–2013

4

Publications

4

A uniform approach for generating proofs and strategies for both true and false QBF formulas

Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus · International Joint Conference on Artificial Intelligence · 2011 · 60 citations

, , +11

Exploiting QBF Duality on a Circuit Representation

Alexandra Goultiaeva, Fahiem Bacchus · Proceedings of the AAAI Conference on Artificial Intelligence · 2010 · 33 citations · Full text

, , +7

Bridging the gap between dual propagation and CNF-based QBF solving

Alexandra Goultiaeva, Martina Seidl, Armin Biere · 2013 · 31 citations

, , +8

Bridging the Gap between Dual Propagation and CNF-based QBF Solving

Alexandra Goultiaeva, Martina Seidl, Armin Biere · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 · 2013 · 26 citations

, , +8

1–4 of 4