@inproceedings{ preQ06,
  publisher = {<undefined>},
  author = {H. Samulowitz and J. Davies and F. Bacchus},
  url = {SBCP2006.pdf},
  booktitle = {Principles and Practice of Constraint Programming},
  title = {Preprocessing QBF},
  year = {2006}
}