@inproceedings{ DBLP:conf/sat/GoultiaevaIB09,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {GIB_SAT2009.pdf},
  booktitle = {Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT-2009)},
  author = {Alexandra Goultiaeva and Vicki Iverson and Fahiem Bacchus},
  pages = {412-426},
  ee = {http://dx.doi.org/10.1007/978-3-642-02777-2_38},
  year = {2009},
  title = {Beyond CNF: A Circuit-Based QBF Solver},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}