@inproceedings{ DBLP:conf/cp/SamulowitzB05,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  title = {Using SAT in QBF}
}
,
  ee = {http://dx.doi.org/10.1007/11564751_43}
}
,
  booktitle = {Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP-2005)}
}
,
  author = {Horst Samulowitz and Fahiem Bacchus}
}
,
  url = {SBCP2005.pdf}
}
,
  year = {2005}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {578-592}
}