@inproceedings{drake:Doctoral02,
  author = "Drake, L. and Frisch, A.M. and Walsh, T.",
  title = "Automatic Generation of Implied Clauses for SAT",
  booktitle = "Proceedings of the Eighth International Conference on
               Principles and Practice of Constraint Programming
               (Doctoral Programme) LNCS 2470",
  editor = "van Hentenryck, P.",
  pages = {783},
  year = 2002}