On the Desirability of Acyclic Database Schemes
Journal of the ACM (JACM)
Debugging Constraint Programs by Store Inspection
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
Selected Papers from Constraint Programming: Basics and Trends
Guarded Constructive Disjunction: Angel or Demon?
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Constructive Disjunction Revisited
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Constraint propagation for loose constraint graphs
Proceedings of the 2007 ACM symposium on Applied computing
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
SLIDE: A Useful Special Case of the CARDPATH Constraint
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Decompositions of all different, global cardinality and related constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Advisors for incremental propagation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Implementing logical connectives in constraint programming
Artificial Intelligence
Half reification and flattening
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Exploiting short supports for generalised arc consistency for arbitrary constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
View-based propagator derivation
Constraints
Short and long supports for constraint propagation
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constraint programming system to program how propagators within a group are executed. The paper exemplifies propagator groups for controlling both propagation order and propagator interaction. Controlling propagation order is applied to debugging constraint propagation and optimal constraint propagation for Berge-acyclic propagator graphs. Controlling propagator interaction by encapsulating failure and entailment is applied to general reification and constructive disjunction. The paper describes an implementation of propagator groups (based on Gecode) that is applicable to any propagator-centered constraint programming system. Experiments show that groups incur little to no overhead and that the applications of groups are practically usable and efficient.