A filtering algorithm for constraints of difference in CSPs
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
An Open-Ended Finite Domain Constraint Solver
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Heterogeneous Constraint Solving
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Principles of Constraint Programming
Principles of Constraint Programming
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
MINION: A Fast, Scalable, Constraint Solver
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Generalized arc consistency for positive table constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
The all different and global cardinality constraints on set, multiset and tuple variables
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
Global difference constraint propagation for finite domain solvers
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Dynamic variable elimination during propagation solving
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Using Indexed Finite Set Variables for Set Bounds Propagation
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generalised arc consistency for the AllDifferent constraint: An empirical survey
Artificial Intelligence
Exploiting weak dependencies in tree-based search
Proceedings of the 2009 ACM symposium on Applied Computing
Artificial Intelligence
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
The extended global cardinality constraint: An empirical survey
Artificial Intelligence
Hi-index | 0.00 |
While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming systems should support incremental propagation. This paper introduces advisors as a simple and efficient, yet widely applicable method for supporting incremental propagation in a propagator-centered setting. The paper presents how advisors can be used for achieving different forms of incrementality and evaluates cost and benefit for several global constraints.