Goultiaeva, Alexandra

2 publications

IJCAI 2011 A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus

AAAI 2010 Exploiting QBF Duality on a Circuit Representation Alexandra Goultiaeva, Fahiem Bacchus