Revisiting the sequence constraint

Authors:
Willem-Jan van Hoeve;Gilles Pesant;Louis-Martin Rousseau;Ashish Sabharwal
Affiliations:
Department of Computer Science, Cornell University, Ithaca, NY;École Polytechnique de Montréal, Montreal, Canada;École Polytechnique de Montréal, Montreal, Canada;Department of Computer Science, Cornell University, Ithaca, NY
Venue:
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Year:
2006

Citing 4
Cited 22

Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family

Proceedings of the 17th International Conference on Logic Programming
A Cost-Regular Based Hybrid Column Generation Approach

Constraints
Principles of Constraint Programming

Principles of Constraint Programming
Generalized arc consistency for global cardinality constraint

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Global difference constraint propagation for finite domain solvers

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
The Deviation Constraint

CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
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
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints

CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Integration of ACO in a Constraint Programming Language

ANTS '08 Proceedings of the 6th international conference on Ant Colony Optimization and Swarm Intelligence
Solving an integrated employee timetabling and job-shop scheduling problem via hybrid branch-and-bound

Computers and Operations Research
New filtering algorithms for combinations of among constraints

Constraints
SLIDE: A Useful Special Case of the CARDPATH Constraint

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Circuit complexity and decompositions of global constraints

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

Constraints
Reformulating global constraints: the slide and regular constraints

SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
GAC via unit propagation

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Encodings of the SEQUENCE constraint

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
CP with ACO

CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Decomposition of the NVALUE constraint

CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
The extended global cardinality constraint: An empirical survey

Artificial Intelligence
Markov constraints: steerable generation of Markov sequences

Constraints
Car sequencing with constraint-based ACO

Proceedings of the 13th annual conference on Genetic and evolutionary computation
MDD propagators with explanation

Constraints
An automaton Constraint for Local Search

Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
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
An optimal arc consistency algorithm for a particular case of sequence constraint

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many combinatorial problems, such as car sequencing and rostering, feature sequence constraints, restricting the number of occurrences of certain values in every subsequence of a given width. To date, none of the filtering algorithms proposed guaranteed domain consistency. In this paper, we present three filtering algorithms for the sequence constraint, with complementary strengths. One borrows ideas from dynamic programming; another reformulates it as a regular constraint; the last is customized. The last two algorithms establish domain consistency. Our customized algorithm does so in polynomial time, and can even be applied to a generalized sequence constraint for subsequences of variable widths. Experimental results show the practical usefulness of each.