@inproceedings{ken:07SARA,
  AUTHOR = {Kenneth M. Bayer and Martin Michalowski and Berthe Y. Choueiry and Craig A. Knoblock},
  TITLE = {{Reformulating Constraint Satisfaction Problems to Improve Scalability}},
  YEAR = 2007,
  BOOKTITLE = {Symposium on Abstraction, Reformulation and Approximation 
    (SARA 07)},
  ADDRESS = {Whistler, Canada},
  PAGES = {64-79},
  publisher =    {LNAI 4612, Springer}, 
  KEYWORDS = {}}