swMATH ID: 8449
Software Authors: Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
Description: SLIDE: A Useful Special Case of the CARDPATH Constraint. We study the CardPath constraint. This ensures a given constraint holds a number of times down a sequence of variables. We show that SLIDE, a special case of CardPath where the slid constraint must hold always, can be used to encode a wide range of sliding sequence constraints including CardPath itself. We consider how to propagate SLIDE and provide a complete propagator for CardPath. Since propagation is NP-hard in general, we identify special cases where propagation takes polynomial time. Our experiments demonstrate that using SLIDE to encode global constraints can be as efficient and effective as specialised propagators
Homepage: http://www.lirmm.fr/~bessiere/stock/ecai08-slide.pdf
Related Software: ToulBar2; CSPLib; SICStus; Chaff; Choco
Cited in: 7 Publications

Citations by Year