 | 2011 |
|---|
| 5 |       | Alexandra Goultiaeva,
Allen Van Gelder,
Fahiem Bacchus:
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.
IJCAI 2011: 546-553 |
| 2010 |
|---|
| 4 | | Alexandra Goultiaeva,
Fahiem Bacchus:
Exploiting QBF Duality on a Circuit Representation.
AAAI 2010 |
| 3 | | Hratch Mangassarian,
Bao Le,
Alexandra Goultiaeva,
Andreas G. Veneris,
Fahiem Bacchus:
Leveraging dominators for preprocessing QBF.
DATE 2010: 1695-1700 |
| 2 | | Alexandra Goultiaeva,
Fahiem Bacchus:
Exploiting Circuit Representations in QBF Solving.
SAT 2010: 333-339 |
| 2009 |
|---|
| 1 | | Alexandra Goultiaeva,
Vicki Iverson,
Fahiem Bacchus:
Beyond CNF: A Circuit-Based QBF Solver.
SAT 2009: 412-426 |
Data released under the ODC-BY 1.0 license — See also our legal information page