Reformulating Constraint Satisfaction Problems to Improve Scalability

Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock. Reformulating Constraint Satisfaction Problems to Improve Scalability. In Ian Miguel, Wheeler Ruml, editors, Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings. Volume 4612 of Lecture Notes in Computer Science, pages 64-79, Springer, 2007. [doi]

Abstract

Abstract is missing.