Beyond CNF: A Circuit-Based QBF Solver. - Alexandra Goultiaeva; Vicki Iverson; Fahiem Bacchus (SAT, 2009)

Exploiting QBF Duality on a Circuit Representation. - Alexandra Goultiaeva; Fahiem Bacchus (AAAI, 2010)

Leveraging dominators for preprocessing QBF. - Hratch Mangassarian; Bao Le; Alexandra Goultiaeva; Andreas G. Veneris; Fahiem Bacchus (DATE, 2010)

Exploiting Circuit Representations in QBF Solving. - Alexandra Goultiaeva; Fahiem Bacchus (SAT, 2010)

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

Off the Trail: Re-examining the CDCL Algorithm. - Alexandra Goultiaeva; Fahiem Bacchus (SAT, 2012)

Bridging the gap between dual propagation and CNF-based QBF solving. - Alexandra Goultiaeva; Martina Seidl; Armin Biere (DATE, 2013)

Recovering and Utilizing Partial Duality in QBF. - Alexandra Goultiaeva; Fahiem Bacchus (SAT, 2013)

Exploiting Problem Structure in QBF Solving. - Alexandra Goultiaeva (2014)