TY  - RPRT
TI  - A CHR-based Implementation of Known Arc-Consistency
AU  - Marco Alberti
AU  - Marco Gavanelli
AU  - Evelina Lamma
AU  - Paola Mello
AU  - Michela Milano
PY  - 2004
UR  - https://arxiv.org/abs/cs/0408056
ID  - cs/0408056
ER  -