Efficient string matching: an aid to bibliographic search
Communications of the ACM
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family
Proceedings of the 17th International Conference on Logic Programming
Sequencing and Counting with the multicost-regular Constraint
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Solving nurse rostering problems using soft global constraints
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
Complex rostering problems often require to recognize and count some patterns in the employees' schedules. The number of occurrences of such patterns is then constrained to comply union rules, business requirements, and other workflow constraints. A common approach to deal with these constraints is to model them as cost-regular constraints but the resulting automata are not trivial to encode manually. This paper proposes a new constraint, the pattern constraint, whose goal is to recognize sets of patterns and constrains their occurrences. The pattern constraint is implemented in two different ways, relying respectively on a modified version of the regular constraint and on the cost-regular constraint. Both approaches employ an algorithm that automatically encodes the underlying automaton. As a result, the pattern constraint provides a high-level modeling abstraction, removing the burden of encoding automata for pattern recognition and allowing to automate the creation of complex models for rostering problems.