@inproceedings{bayer:07cp, AUTHOR = {Kenneth M. Bayer and Martin Michalowski and Berthe Y. Choueiry and Craig A. Knoblock}, TITLE = {{Reformulating CSPs for Scalability with Application to Geospatial Reasoning}}, YEAR = 2007, BOOKTITLE = {International Conference on Principles and Practice of Constraint Programming (CP 07)}, ADDRESS = {Providence, Rhode Island}, PAGES = {164-179}, publisher = {LNCS 4741, Springer}, KEYWORDS = {}}