@inproceedings{ DBLP:conf/sat/GoultiaevaB10,
  author = {Alexandra Goultiaeva and Fahiem Bacchus}
}
,
  ee = {http://dx.doi.org/10.1007/978-3-642-14186-7_29}
}
,
  booktitle = {Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT-2010)}
}
,
  title = {Exploiting Circuit Representations in QBF Solving}
}
,
  url = {GB_SAT2010.pdf}
}
,
  year = {2010}
}
,
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
,
  pages = {333-339}
}