2 search results - page 1 / 1 » Generating Special-Purpose Stateless Propagators for Arbitra... |
178
Voted
CP
2010
Springer
15 years 5 months ago
2010
Springer
Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation th...
208
Voted
CSCLP
2005
Springer
16 years 24 days ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...