Data structures and network algorithms
Data structures and network algorithms
Arc and path consistence revisited
Artificial Intelligence
Running efficiently arc consistency
Syntactic and structural pattern recognition
A generic arc-consistency algorithm and its specializations
Artificial Intelligence
A filtering algorithm for constraints of difference in CSPs
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Arc-consistency and arc-consistency again
Artificial Intelligence
Using inference to reduce arc consistency computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A Combinatorial Approach to Content-Based Music Selection
IEEE MultiMedia
Solving the Sports League Scheduling Problem with Tabu Search
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Global Constraint Combining a Sum Constraint and Difference Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving the Kirkman's Schoolgirl Problem in a Few Seconds
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Specific Filtering Algorithms for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Integrating finite domain constraints and CLP with sets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
The Knowledge Engineering Review
On global warming: Flow-based soft global constraints
Journal of Heuristics
Constraint Models for the Covering Test Problem
Constraints
Sweep synchronization as a global propagation mechanism
Computers and Operations Research
A hybrid setup for a hybrid scenario: combining heuristics for the home health care problem
Computers and Operations Research
Accelerating column generation for aircraft scheduling using constraint propagation
Computers and Operations Research
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Models for Global Constraint Applications
Constraints
Tractable cases of the extended global cardinality constraint
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
Generalizations of the Global Cardinality Constraint for Hierarchical Resources
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
An Application of Constraint Programming to Superblock Instruction Scheduling
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Model Restarts for Structural Symmetry Breaking
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Filtering algorithms for the multiset ordering constraint
Artificial Intelligence
Generalizing Global Constraints Based on Network Flows
Recent Advances in Constraints
Computers and Operations Research
Softening Gcc and Regular with preferences
Proceedings of the 2009 ACM symposium on Applied Computing
Solving necklace constraint problems
Journal of Algorithms
Open Constraints in a Boundable World
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Scalable Load Balancing in Nurse to Patient Assignment Problems
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The complexity of global constraints
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Bid evaluation in combinatorial auctions: optimization and learning
Software—Practice & Experience
A constraint-based approach to Enigma 1225
Computers & Mathematics with Applications
The parameterized complexity of global constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Learning implied global constraints
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
The range and roots constraints: specifying counting and occurrence problems
IJCAI'05 Proceedings of the 19th international joint 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
Open contractible global constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Global propagation of practicability constraints
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Filtering atmost1 on pairs of set variables
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Modelling equidistant frequency permutation arrays: an application of constraints to mathematics
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Solving nurse rostering problems using soft global constraints
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
A hybrid constraint model for the routing and wavelength assignment problem
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Static and dynamic structural symmetry breaking
Annals of Mathematics and Artificial Intelligence
The extended global cardinality constraint: An empirical survey
Artificial Intelligence
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
An efficient generic network flow constraint
Proceedings of the 2011 ACM Symposium on Applied Computing
Combination: automated generation of puzzles with constraints
Proceedings of the 2011 ACM Symposium on Applied Computing
Route finder: efficiently finding k shortest paths using constraint programming
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Hierarchically nested convex VCSP
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Revisiting the tree Constraint
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Revisiting the sequence constraint
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Static and dynamic structural symmetry breaking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Constraint programming based column generation for employee timetabling
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Multiconsistency and robustness with global constraints
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Combination of among and cardinality constraints
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A local search system for solving constraint problems of declarative graph-based global constraints
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic 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
Among, common and disjoint constraints
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
The range constraint: algorithms and implementation
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Expected-Case analysis for delayed filtering
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Open constraints in a closed world
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Improved algorithm for the soft global cardinality constraint
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Revisiting the soft global cardinality constraint
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
GCC-like restrictions on the same constraint
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Constraint-Based approaches to the covering test problem
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Interactively solving school timetabling problems using extensions of constraint programming
PATAT'04 Proceedings of the 5th international conference on Practice and Theory of Automated Timetabling
Finding All Stable Pairs and Solutions to the Many-to-Many Stable Matching Problem
INFORMS Journal on Computing
Kernels for global constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
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
The multi-inter-distance constraint
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
The conjunction of interval among constraints
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Explaining flow-based propagation
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Journal of Artificial Intelligence Research
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
An optimal arc consistency algorithm for a chain of atmost constraints with cardinality
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Increasing symmetry breaking by preserving target symmetries
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Breaking variable symmetry in almost injective problems
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Short and long supports for constraint propagation
Journal of Artificial Intelligence Research
On the complexity of global scheduling constraints under structural restrictions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Three generalizations of the FOCUS constraint
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The extended global cardinality constraint: an empirical survey (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Argumentation frameworks as constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
A global cardinality constraint (gcc) is specified in terms of a set of variables X = {x1,..., xp} which take their values in a subset of V = {v1,...,vd}. It constrains the number of times a value vi ∈ V is assigned to a variable in X to be in an interval [li, ci. Cardinality constraints have proved very useful in many real-life problems, such as scheduling, timetabling, or resource allocation. A gcc is more general than a constraint of difference, which requires each interval to be [0,1]. In this paper, we present an efficient way of implementing generalized arc consistency for a gcc. The algorithm we propose is based on a new theorem of flow theory. Its space complexity is O(|X| × |V|) and its time complexity is O(|X|2 × |V|). We also show how this algorithm can efficiently be combined with other filtering techniques.