Author: Alexandra Goultiaeva [RDF, Bibtex, BibBase, BibGraph] has 3 publications
report error (So far 0 user(s) reported errors on this item)
Exploiting Circuit Representations in QBF Solving
Alexandra Goultiaeva, Fahiem Bacchus.
Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT-2010)
333-339
2010
Leveraging dominators for preprocessing QBF
Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus.
Design, Automation and Test in Europe (DATE 2010)
1695-1700
2010
Beyond CNF: A Circuit-Based QBF Solver
Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus.
Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT-2009)
412-426
2009