@inproceedings{Michalowski:2007SARA,
  AUTHOR =  {Martin Michalowski and Craig A. Knoblock and Berthe Y. Choueiry},
  TITLE = {{Reformulating Constraint Models Using Input Data}},
  YEAR = 2007,
  BOOKTITLE = {Proceedings of the International Symposium on Abstraction, Reformulation and Approximation (SARA 2007)},
  ADDRESS = {Whistler, Canada},
  PAGES = {xx--xx},
  KEYWORDS = {}}