@inproceedings{ sqbf05,
  publisher = {<undefined>}
}
,
  title = {Using SAT in QBF}
}
,
  url = {cp2005.pdf}
}
,
  booktitle = {Principles and Practice of Constraint Programming}
}
,
  author = {H. Samulowitz and F. Bacchus}
}
,
  year = {2005}
}