Automatically Exploiting Subproblem Equivalence in Constraint Programming.

Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey

Browse the full CPAIOR paper archive.