Follow
Alexandra Goultiaeva
Alexandra Goultiaeva
Verified email at cs.toronto.edu - Homepage
Title
Cited by
Cited by
Year
A uniform approach for generating proofs and strategies for both true and false QBF formulas
A Goultiaeva, A Van Gelder, F Bacchus
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
742011
Exploiting QBF duality on a circuit representation
A Goultiaeva, F Bacchus
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 71-76, 2010
432010
Bridging the gap between dual propagation and CNF-based QBF solving
A Goultiaeva, M Seidl, A Biere
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 811-814, 2013
402013
Incremental plan recognition in an agent programming framework
A Goultiaeva, Y Lespérance
Working Notes of the AAAI Workshop on Plan, Activity, and Intention …, 2007
382007
Beyond CNF: A circuit-based QBF solver
A Goultiaeva, V Iverson, F Bacchus
International Conference on Theory and Applications of Satisfiability …, 2009
352009
Recovering and utilizing partial duality in QBF
A Goultiaeva, F Bacchus
International Conference on Theory and Applications of Satisfiability …, 2013
332013
Exploiting circuit representations in QBF solving
A Goultiaeva, F Bacchus
International Conference on Theory and Applications of Satisfiability …, 2010
82010
Off the trail: Re-examining the CDCL algorithm
A Goultiaeva, F Bacchus
International Conference on Theory and Applications of Satisfiability …, 2012
72012
Leveraging dominators for preprocessing QBF
H Mangassarian, B Le, A Goultiaeva, A Veneris, F Bacchus
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
52010
Exploiting Problem Structure in QBF Solving.
A Goultiaeva
University of Toronto, Canada, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–10