Kenneth M. Bayer Martin Michalowski Berthe Y. Choueiry Craig A. Knoblock Reformulating Constraint Satisfaction Problems to Improve Scalability. 64-79 2007 conf/sara/2007 SARA http://dx.doi.org/10.1007/978-3-540-73580-9_8 db/conf/sara/sara2007.html#BayerMCK07