A CHR-based implementation of known arc-consistency

DOI10.1017/S147106840500236XMaRDI QIDQ5696592zbMATH OpenFDO

Authors Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano

Publication date 18 October 2005

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S147106840500236X

zbMATH Keywords

constraint handling rules

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Constraints meet concurrency
• Theory and practice of constraint handling rules
• Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
• Automatic generation of constraint propagation algorithms for small finite domains
• Compiling constraints in clp(FD)

Describes a project that uses

Uses Software

• Oz

This page was built for publication: A CHR-based implementation of known arc-consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696592)