Alexandra Goultiaeva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DATE | Bridging the gap between dual propagation and CNF-based QBF solving. | Alexandra Goultiaeva, Martina Seidl, Armin Biere |
| 2013 | SAT | Recovering and Utilizing Partial Duality in QBF. | Alexandra Goultiaeva, Fahiem Bacchus |
| 2012 | SAT | Off the Trail: Re-examining the CDCL Algorithm. | Alexandra Goultiaeva, Fahiem Bacchus |
| 2011 | IJCAI | A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. | Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus |
| 2010 | AAAI | Exploiting QBF Duality on a Circuit Representation. | Alexandra Goultiaeva, Fahiem Bacchus |
| 2010 | DATE | Leveraging dominators for preprocessing QBF. | Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus |
| 2010 | SAT | Exploiting Circuit Representations in QBF Solving. | Alexandra Goultiaeva, Fahiem Bacchus |
| 2009 | SAT | Beyond CNF: A Circuit-Based QBF Solver. | Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus |