Beldiceanu, Nicolas and Carlsson, Mats (2001) Revisiting the cardinality operator and introducing the cardinality-path constraint family. In: Seventeenth International Conference on Logic Programming ICLP'01, 26 Nov - 1 Dec 2001, Paphos, Cyprus.
Full text not available from this repository.
This paper presents generic propagation algorithms for the cardinality-path constraint family. This is a restricted form of the cardinality operator that allows stating constraints on sliding sequences of consecutive variables. Taking advantage of these restrictions permits coming up with more efficient algorithms. Moreover the paper shows how to extend these propagation algorithms in order to partially integrate external constraints that have to hold. From an application point of view the cardinality-path constraint allows to express a huge variety of regulation constraints occurring in personnel planning problems.
|Item Type:||Conference or Workshop Item (Paper)|
|Additional Information:||Lecture notes in computer science; 2237. Pages 59-73. Preprint available as SICS Technical Report T2000-11A.|
|Deposited By:||Dominique Johansson|
|Deposited On:||07 Aug 2008|
|Last Modified:||18 Nov 2009 16:17|
Repository Staff Only: item control page