A CHR-based implementation of known arc-consistency

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano. A CHR-based implementation of known arc-consistency. TPLP, 5(4-5):419-440, 2005. [doi]

Abstract

Abstract is missing.