@inproceedings{ DBLP:conf/cp/SamulowitzDB06,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {SDBCP2006.pdf},
  booktitle = {Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-2006)},
  author = {Horst Samulowitz and Jessica Davies and Fahiem Bacchus},
  pages = {514-529},
  ee = {http://dx.doi.org/10.1007/11889205_37},
  year = {2006},
  title = {Preprocessing QBF},
  bibsource = {DBLP http://dblp.uni-trier.de}
}