Generating propagation rules for finite domains via unification in finite algebra (2000)

by C Ringeissen, E Monfroy
Venue:In New Trends in Constraints. LNAI1865.Springer-Verlag,150