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]

Authors

Marco Alberti

This author has not been identified. Look up 'Marco Alberti' in Google

Marco Gavanelli

This author has not been identified. Look up 'Marco Gavanelli' in Google

Evelina Lamma

This author has not been identified. Look up 'Evelina Lamma' in Google

Paola Mello

This author has not been identified. Look up 'Paola Mello' in Google

Michela Milano

This author has not been identified. Look up 'Michela Milano' in Google