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 | 74 | 2011 |
Exploiting QBF duality on a circuit representation A Goultiaeva, F Bacchus Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 71-76, 2010 | 43 | 2010 |
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 | 40 | 2013 |
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 | 38 | 2007 |
Beyond CNF: A circuit-based QBF solver A Goultiaeva, V Iverson, F Bacchus International Conference on Theory and Applications of Satisfiability …, 2009 | 35 | 2009 |
Recovering and utilizing partial duality in QBF A Goultiaeva, F Bacchus International Conference on Theory and Applications of Satisfiability …, 2013 | 33 | 2013 |
Exploiting circuit representations in QBF solving A Goultiaeva, F Bacchus International Conference on Theory and Applications of Satisfiability …, 2010 | 8 | 2010 |
Off the trail: Re-examining the CDCL algorithm A Goultiaeva, F Bacchus International Conference on Theory and Applications of Satisfiability …, 2012 | 7 | 2012 |
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 | 5 | 2010 |
Exploiting Problem Structure in QBF Solving. A Goultiaeva University of Toronto, Canada, 2014 | 1 | 2014 |