A filtering algorithm for constraints of difference in CSPs
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
A fast algorithm for the bound consistency of alldiff constraints
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Modeling adversary scheduling with QCSP+
Proceedings of the 2008 ACM symposium on Applied computing
Iscore: a system for writing interaction
Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts
Mapping Heterogeneous Distributed Applications on Clusters
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
An Elimination Algorithm for Functional Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Generalised arc consistency for the AllDifferent constraint: An empirical survey
Artificial Intelligence
Efficient Algorithms for Functional Constraints
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
QCSP made practical by virtue of restricted quantification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Automatically Discovering Hidden Transformation Chaining Constraints
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Type Parametric Compilation of Algebraic Constraints
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
An abstract interpretation based combinator for modelling while loops in constraint programming
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming
Half reification and flattening
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
CoJava: optimization modeling by nondeterministic simulation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Generating propagators for finite set constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Cell formation in group technology using constraint programming and Boolean satisfiability
Expert Systems with Applications: An International Journal
Solving manufacturing cell design problems using constraint programming
IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
Hi-index | 0.00 |
This paper introduces an architecture for generic constraint implementations based on variable views and range iterators. Views allow, for example, to scale, translate, and negate variables. The paper shows how to make constraint implementations generic and how to reuse a single generic implementation with different views for different constraints. A wide range of applications of views exemplifies their usefulness and their potential for simplifying constraint implementations. We introduce domain operations compatible with views based on range iterators. The paper evaluates the applicability of the approach as well as different implementation techniques for the presented architecture.