Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.

Krzysztof R. Apt, ric Monfroy

Browse the full CP paper archive.