Propagation of Global Constraints in CHR
Olama, Prof. Dr. Thom Frühwirth and Dr. Khalil
of the rule-based propagation of global constraints
is done in the frame of the GLOB-CON project, which
is concerned with the formally correct and efficiently
executable specification of constraint propagation
for complex, global constraints by means of rules.
A constraint satisfaction problem consists of a set
of constraints which must be satisfied by every solution.
papers and resources concerning this topic:
- Rule-Based Propagation of Global Constraints (http://khalil.djelloul.free.fr/these-eng.html)
- GLOB-CON Project (http://www.informatik.uni-ulm.de/pm/index.php?id=102)