@inproceedings{ DBLP:conf/sat/SamulowitzB07,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {SBsat2007.pdf},
  booktitle = {Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT-2007)},
  author = {Horst Samulowitz and Fahiem Bacchus},
  pages = {215-229},
  ee = {http://dx.doi.org/10.1007/978-3-540-72788-0_22},
  year = {2007},
  title = {Dynamically Partitioning for Solving QBF},
  bibsource = {DBLP http://dblp.uni-trier.de}
}