@inproceedings{martin:07SARA,
  AUTHOR = {Martin Michalowski and Craig A. Knoblock and Berthe Y. Choueiry},
  TITLE = {{Reformulating Constraint Models Using Input Data}},
  YEAR = 2007,
  BOOKTITLE = {Symposium on Abstraction, Reformulation and Approximation 
    (SARA 07)},
  ADDRESS = {Whistler, Canada},
  PAGES = {402-403},
  publisher =    {LNAI 4612, Springer}, 
  KEYWORDS = {}}