Sciweavers

Share
CPAIOR
2010
Springer

Automatically Exploiting Subproblem Equivalence in Constraint Programming

9 years 2 months ago
Automatically Exploiting Subproblem Equivalence in Constraint Programming
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when two different search paths lead to identical remaining subproblems, that is the problem left on the remaining unfixed variables. Subproblem equivalence is exploited by caching descriptions, or keys, that define the subproblems visited, and failing the search when the key for the current subproblem already exists in the cache. In this paper we show how to automatically and efficiently define keys for arbitrary constraint problems. We show how a constraint programming solver with this capability can solve search problems where subproblem equivalence arises orders of magnitude faster. The system is fully automatic, i.e., the subproblem equivalences are detected and exploited without any effort from the problem modeller.
Geoffrey Chu, Maria Garcia de la Banda, Peter J. S
Added 24 Jan 2011
Updated 24 Jan 2011
Type Journal
Year 2010
Where CPAIOR
Authors Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
Comments (0)
books