Alexandra Goultiaeva

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Quantified Boolean Formulas

Dynamic Programming

Simulated Annealing

Top Venues

Publications

Alexandra Goultiaeva, Martina Seidl, Armin Biere
Bridging the gap between dual propagation and CNF-based QBF solving. DATE (2013)
Alexandra Goultiaeva, Fahiem Bacchus
Recovering and Utilizing Partial Duality in QBF. SAT (2013)
Alexandra Goultiaeva, Fahiem Bacchus
Off the Trail: Re-examining the CDCL Algorithm. SAT (2012)
Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. IJCAI (2011)
Alexandra Goultiaeva, Fahiem Bacchus
Exploiting QBF Duality on a Circuit Representation. AAAI (2010)
Alexandra Goultiaeva, Fahiem Bacchus
Exploiting Circuit Representations in QBF Solving. SAT (2010)
Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus
Leveraging dominators for preprocessing QBF. DATE (2010)
Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus
Beyond CNF: A Circuit-Based QBF Solver. SAT (2009)