SODA

Revisiting the cardinality operator and introducing the cardinality-path constraint family

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.

Abstract

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.
ID Code:3069
Deposited By:INVALID USER
Deposited On:07 Aug 2008
Last Modified:18 Nov 2009 16:17

Repository Staff Only: item control page