5 papers
Constraint-Based Qualitative Simulation
Krzysztof R. Apt, Sebastian Brand
We consider qualitative simulation involving a finite set of qualitative relations in presence of complete knowledge about their interrelationship. We show how it can be naturally…
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…
Schedulers for Rule-based Constraint Programming
Krzysztof R. Apt, Sebastian Brand
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…
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
Krzysztof R. Apt, Roman Bartak, Eric Monfroy +2
Homepage of the workshop proceedings, with links to all individually archived papers
Constraint Propagation in Presence of Arrays
Sebastian Brand
We describe the use of array expressions as constraints, which represents a consequent generalisation of the "element" constraint. Constraint propagation for array constraints is s…