Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey. Automatically Exploiting Subproblem Equivalence in Constraint Programming. In Andrea Lodi, Michela Milano, Paolo Toth, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings. Volume 6140 of Lecture Notes in Computer Science, pages 71-86, Springer, 2010. [doi]
Abstract is missing.