Global constraint catalogue: Past, present and future

N Beldiceanu, M Carlsson, S Demassey, T Petit - Constraints, 2007 - Springer
Global Constraint Catalogue: Past, Present and Future Page 1 Constraints (2007) 12:21–62 DOI
10.1007/s10601-006-9010-8 Global Constraint Catalogue: Past, Present and Future Nicolas …

Circuit complexity and decompositions of global constraints

C Bessiere, G Katsirelos, N Narodytska… - arxiv preprint arxiv …, 2009 - arxiv.org
We show that tools from circuit complexity can be used to study decompositions of global
constraints. In particular, we study decompositions of global constraints into conjunctive …

Global constraints: A survey

JC Régin - Hybrid optimization: The ten years of CPAIOR, 2011 - Springer
Constraint programming (CP) is mainly based on filtering algorithms; their association with
global constraints is one of the main strengths of CP because they exploit the specific …

A constraint seeker: Finding and ranking global constraints from examples

N Beldiceanu, H Simonis - … and Practice of Constraint Programming–CP …, 2011 - Springer
In this paper we describe a Constraint Seeker application which provides a web interface to
search for global constraints in the global constraint catalog, given positive and negative …

Enforcing meter in finite-length markov sequences

P Roy, F Pachet - Proceedings of the AAAI Conference on Artificial …, 2013 - ojs.aaai.org
Markov processes are increasingly used to generate finite-length sequences that imitate a
given style. However, Markov processes are notoriously difficult to control. Recently, Markov …

SLIDE: A useful special case of the CARDPATH constraint

C Bessiere, E Hebrard, B Hnich, Z Kiziltan, T Walsh - ECAI 2008, 2008 - ebooks.iospress.nl
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 …

Decompositions of all different, global cardinality and related constraints

C Bessiere, G Katsirelos, N Narodytska… - arxiv preprint arxiv …, 2009 - arxiv.org
We show that some common and important global constraints like ALL-DIFFERENT and
GCC can be decomposed into simple arithmetic constraints on which we achieve bound or …

Using finite transducers for describing and synthesising structural time-series constraints

N Beldiceanu, M Carlsson, R Douence, H Simonis - Constraints, 2016 - Springer
We describe a large family of constraints for structural time series by means of function
composition. These constraints are on aggregations of features of patterns that occur in a …

Sequencing and counting with the multicost-regular constraint

J Menana, S Demassey - Integration of AI and OR Techniques in …, 2009 - Springer
This paper introduces a global constraint encapsulating a regular constraint together with
several cumulative costs. It is motivated in the context of personnel scheduling problems …

Global constraint catalog, volume ii, time-series constraints

E Arafailova, N Beldiceanu, R Douence… - arxiv preprint arxiv …, 2016 - arxiv.org
First this report presents a restricted set of finite transducers used to synthesise structural
time-series constraints described by means of a multi-layered function composition scheme …