@InProceedings{drake:SATReform,
  author = "Drake, L. and Frisch, A.M. and Gent, I. and Walsh, T.",
  title = "Automatically Reformulating SAT-Encoded CSPs",
  booktitle = "Proceedings of the International Workshop on
               Reformulating Constraint Satisfaction Problems",
  editor = "Frisch, A.M.",
  year = 2002,
  pages = {18--26}}