Topic: classification/reformulation

2013

• A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint (2013).
  Arnaud Letort Mats Carlsson Nicolas Beldiceanu Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference (CPAIOR'13), Yorktown Heights, NY, USA. Lecture Notes in Computer Science 7874: 144-159.
• GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials (2013).
  Naina Razakarison Nicolas Beldiceanu Mats Carlsson Helmut Simonis The Sixth Annual Symposium on Combinatorial Search (SOCS'13), Leavenworth, WA, USA.
• A Parametric Propagator for Discretely Convex Pairs of Sum Constraints (2013).
  Jean-No\?el Monette Nicolas Beldiceanu Pierre Flener Justin Pearson 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Uppsala, Sweden. Lecture Notes in Computer Science

2012

• The Conjunction of Interval AMONG Constraints (2012).
  Gilles Chabert Sophie Demassey 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12), Lectures Notes in Computer Science 7298: 113--128.
• Intermediary Local Consistencies (2012).
  Thierry Petit European Conference on Artificial Intelligence (ECAI'12), Montpellier, France.
• Intermediary Local Consistencies (2012).
  Thierry Petit Technical report 12-1-INFO, Ecole des Mines de Nantes, TASC(LINA/CNRS/INRIA).

2011

• A Constraint Seeker: Finding and Ranking Global Constraints from Examples (2011).
  Nicolas Beldiceanu Helmut Simonis 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints (2011). [paper]
  Thierry Petit Nicolas Beldiceanu Xavier Lorca 22th International Joint Conference on Artificial Intelligence (IJCAI'11),
• A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction (2011). [paper]
  Thierry Petit Nicolas Beldiceanu Xavier Lorca CoRR abs/1110.4719

2010

• A Box-Consistency Contractor based on Extremal Functions (2010).
  Gilles Trombettoni Yves Papegay Gilles Chabert Odile Pourtallier 16th International Conference on Principles and Practice of Constraint Programming (CP'10), St Andrews, Scotland. Lecture Notes in Computer Science 6308: 491--498.
• Global Constraint Catalog, 2nd Edition (2010). [url]
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Technical report T2010-07, Swedish Institute of Computer Science.
• A GAC Algorithm for a Class of Global Counting Constraints (2010). [paper]
  Nicolas Beldiceanu Xavier Lorca Thierry Petit Technical report 10-01-INFO, École des Mines de Nantes.

2009

• Making Bound Consistency as Effective as Arc Consistency (2009). [hal] [paper]
  Christian Bessière Thierry Petit Bruno Zanuttini 21th International Joint Conference on Artificial Intelligence (IJCAI'09),

2008

• Réordonnancement de domaines dans les réseaux de contraintes (2008). [hal]
  Christian Bessière Thierry Petit Bruno Zanuttini 4èmes Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes, France. pp. 133--142.

2007

• Global Constraint Catalog: Past, Present and Future (2007). [hal] [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit Constraints 12(1): 21-62.
• Special Issue on Global Constraints (2007). [hal] [doi]
  Nicolas Beldiceanu (ed.), Constraints 12 Springer,
• Learning implied global constraints (2007). [hal] [paper]
  Christian Bessière and Rémi Coletta Thierry Petit 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 44--49.

2006

• Bounds of parameters for global constraints (2006). [hal] [doi]
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart RAIRO Operations Research 40(4): 327--353.
• Graph-Based Filtering (2006). [hal] [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit 12th International Conference on Principles and Practice of Constraint Programming (CP'06), Nantes, France. Lecture Notes in Computer Science 4204: 59-74.
• Filtrage basé sur des propriétés de graphes (2006). [hal]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France.
• Graph-Properties Based Filtering (2006). [paper]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit Technical report T2006-10, Swedish Institute of Computer Science.
• Global Constraints: Introduction and Graph-Based Representation (2006). [hal] [slides]
  Nicolas Beldiceanu Second International Summer School of the Association for Constraint Programming.

2005

• Reformulation of Global Constraints Based on Constraint Checkers (2005). [doi]
  Nicolas Beldiceanu Mats Carlsson Romuald Debruyne Thierry Petit Constraints 10(4): 339--362.
• Graph Invariants as Necessary Conditions for Global Constraints (2005).
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain. Lecture Notes in Computer Science 3709: 92-106.
• Bounds of Graph Properties (2005). [hal]
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain. Lecture Notes in Computer Science 3709: 742-746.
• Acquiring Parameters of Implied Global Constraints (2005).
  Christian Bessière Rémi Coletta Thierry Petit 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain. Lecture Notes in Computer Science 3709: 747-751.
• Bornes de Caractéristiques de Graphes (2005). [hal]
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart 1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France.
• Apprentissage de Contraintes Globales Implicites (2005). [hal]
  Christian Bessière Rémi Coletta Thierry Petit 1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France. pp. 249-258.
• Global Constraint Catalog (2005). [paper]
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Technical report T2005-08, Swedish Institute of Computer Science.
• Graph Invariants as Necessary Conditions for Global Constraints (2005). [paper]
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet Technical report T2005-07, Swedish Institute of Computer Science.
• Bounds of Graph Properties (2005).
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart Technical report 05-02-INFO, École des Mines de Nantes.
• Graph-Based Filtering (2005). [slides]
  Nicolas Beldiceanu Applied Mathematics Seminar, Budapest University of Technology.

2004

• Deriving Filtering Algorithms from Constraint Checkers (2004). [slides]
  Nicolas Beldiceanu Mats Carlsson Thierry Petit 10th International Conference on Principles and Practice of Constraint Programming (CP'04), Lecture Notes in Computer Science 3258: 107-122.
• From Constraints to Finite Automata to Filtering Algorithms (2004). [paper]
  Mats Carlsson Nicolas Beldiceanu European Symposium on Programming (ESOP'04), Lecture Notes in Computer Science 2986: 94-108.

2003

• Generic filtering algorithms for generic global constraints (2003).
  Nicolas Beldiceanu Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, Budapest, Hungary.

2002

• Global Constraints (2002). [slides]
  Nicolas Beldiceanu Tutorial at CP'2002, Principles and Practice of Constraint Programming.

2000

• Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type (2000). [url]
  Nicolas Beldiceanu 6th International Conference on Principles and Practice of Constraint Programming (CP'00), Singapore. Lecture Notes in Computer Science 1894: 52-66.
• Global Constraints as Graph Properties on Structured Network of Elementary Constraints of the Same Type (2000). [url]
  Nicolas Beldiceanu Technical report T2000-01, Swedish Institute of Computer Science.