@INPROCEEDINGS{bayerSARA07,
  author = {Kenneth M. Bayer and Martin Michalowski and Berthe Y. Choueiry and Craig A. Knoblock},
  title = {Reformulating Constraint Satisfaction Problems to Improve Scalability},
  booktitle = {Proceedings of the 7th Symposium on Abstraction, Reformulation and Approximation (SARA-07)},
  year = {2007},
  pages = 64-79
}