Alexandra Goultiaeva (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

1 Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus: Beyond CNF: A Circuit-Based QBF Solver. SAT 2009: 412-426

Selection of 5 from 5 records - Alexandra Goultiaeva has 6 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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
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
1		Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus: Beyond CNF: A Circuit-Based QBF Solver. SAT 2009: 412-426