Alexandra Goultiaeva

According to our database, Alexandra Goultiaeva authored at least 9 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Exploiting Problem Structure in QBF Solving.

Alexandra Goultiaeva

PhD thesis, 2014

2013

Recovering and Utilizing Partial Duality in QBF.

Alexandra Goultiaeva, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Bridging the gap between dual propagation and CNF-based QBF solving.

Alexandra Goultiaeva, Martina Seidl, Armin Biere

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Off the Trail: Re-examining the CDCL Algorithm.

Alexandra Goultiaeva, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.

Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus

Proceedings of the IJCAI 2011, 2011

2010

Exploiting Circuit Representations in QBF Solving.

Alexandra Goultiaeva, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Leveraging dominators for preprocessing QBF.

Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus

Proceedings of the Design, Automation and Test in Europe, 2010

Exploiting QBF Duality on a Circuit Representation.

Alexandra Goultiaeva, Fahiem Bacchus

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Beyond CNF: A Circuit-Based QBF Solver.

Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing, 2009