74 citations
- Data61AU3 papers
- École de Technologie SupérieureCA3 papers
- Institut National de la Recherche ScientifiqueCA2 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR2 papers
- Regroupement Québécois sur les Matériaux de PointeCA2 papers
- Université de SherbrookeCA2 papers
- UNSW SydneyAU2 papers
- Avensys (Canada)CA1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- Ericsson (Canada)CA1 paper
- IIT@MITUS1 paper
4 papers · 2 filters
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper +1
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE…
Decompositions of All Different, Global Cardinality and Related Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska +2
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 range consist…
Decompositions of Grammar Constraints
Claude-Guy Quimper, Toby Walsh
A wide range of constraints can be compactly specified using automata or formal languages. In a sequence of recent papers, we have shown that an effective means to reason with such…
The Parameterized Complexity of Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich +2
We argue that parameterized complexity is a useful tool with which to study global constraints. In particular, we show that many global constraints which are intractable to propaga…