@inproceedings{drake:Doctoral01,
  author = "Drake, L. and Frisch, A.M. and Walsh, T.",
  title = "Automatic Generation of Implied Clauses for SAT",
  booktitle = "Proceedings of the Seventh International Conference on
               Principles and Practice of Constraint Programming",
  editor = "Walsh, T.",
  pages = {761},
  year = 2001}