A CHR-based Implementation of Known Arc-Consistency

What this record says

In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in

CATALOG · The abstract is indexed.