Schedulers and Redundancy for a Class of Constraint Propagation Rules

Sebastian Brand, Krzysztof R. Apt

We study here schedulers for a class of rules that naturally arise in the context of rule-based constraint programming. We systematically derive a scheduler for them from a generic…