SLIDE 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 all top 5 Cited by 24 Authors 2 Beldiceanu, Nicolas 2 Carlsson, Mats 2 Flener, Pierre 2 Pearson, Justin 1 Allouche, David 1 Atashband, Shaham 1 Bessiere, Christian 1 Boizumault, Patrice 1 Bouveret, Sylvain 1 de Givry, Simon 1 Gange, Graeme 1 Gutierrez, Patricia 1 Hebrard, Emmanuel 1 Huguet, Marie-José 1 Lee, Jimmy Ho-man 1 Lemaître, Michel 1 Leung, Ka Lun 1 Loudni, Samir 1 Métivier, Jean-Philippe 1 Schiex, Thomas 1 Siala, Mohamed 1 Stuckey, Peter James 1 Szymanek, Radoslaw 1 Wu, Yi Cited in 2 Serials 3 Constraints 2 Artificial Intelligence Cited in 3 Fields 7 Operations research, mathematical programming (90-XX) 3 Computer science (68-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year