Author: Thierry Petit

see also : HAL list of publications

2013

• Three Generalizations of the FOCUS Constraint (2013).
  Nina Narodytska Thierry Petit Mohamed Siala Toby Walsh IJCAI, 23rd International Joint Conference on Artificial Intelligence,
• Three Generalizations of the FOCUS Constraint (extended version including proofs) (2013).
  Nina Narodytska Thierry Petit Mohamed Siala Toby Walsh CoRR abs/1304.5970

2012

• Focus: A Constraint for Concentrating High Costs (2012).
  Thierry Petit 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Quebec City, Canada. Lecture Notes in Computer Science
• Focus: A Constraint for Concentrating High Costs (2012).
  Thierry Petit Proc. First International Workshop on Search Strategies and Non-standard Objectives, (CPAIOR-SSNOW'12), Nantes, France.
• An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization (2012).
  Nicolas Beldiceanu Mats Carlsson Thierry Petit Jean-Charles Regin European Conference on Artificial Intelligence (ECAI'12), Montpellier, France.
• Intermediary Local Consistencies (2012).
  Thierry Petit European Conference on Artificial Intelligence (ECAI'12), Montpellier, France.
• Problemes d'optimisation sur des séquences (2012).
  Thierry Petit 8emes Journees Francophones de Programmation par Contraintes (JFPC'12), Toulouse, France. pp. 3--3.
• Intermediary Local Consistencies (2012).
  Thierry Petit Technical report 12-1-INFO, Ecole des Mines de Nantes, TASC(LINA/CNRS/INRIA).

2011

• Global Propagation of Side Constraints for Solving Over-constrained Problems (2011). [hal] [doi] [paper]
  Thierry Petit Emmanuel Poder Annals of Operations Research 184(1): 295-314.
• The Ordered Distribute Constraint (2011).
  Thierry Petit Jean-Charles Régin International Journal on Artificial Intelligence Tools (IJAIT)
• Filtering Algorithms for Discrete Cumulative Problems with Over-loads of Resource (2011).
  Alexis De Clercq Thierry Petit Nicolas Beldiceanu Narendra Jussien 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint (2011).
  Thierry Petit Jean-Charles Régin Nicolas Beldiceanu 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• The Objective Sum Constraint (2011).
  Jean-Charles Régin Thierry Petit 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'11), Berlin, Germany. 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
• Algorithmes de filtrage pour des problèmes cumulatifs discrets avec dépassements de ressource (2011).
  Alexis De Clercq Thierry Petit Nicolas Beldiceanu Narendra Jussien 7èmes Journées Francophones de Programmation par Contraintes (JFPC'11),

2010

• The Ordered Distribute Constraint (2010). [hal] [paper]
  Thierry Petit Jean-Charles Régin 22th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'10),
• The increasing-nvalue Constraint (2010). [paper] [slides]
  Nicolas Beldiceanu Fabien Hermenier Xavier Lorca Thierry Petit 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Bologna, Italy. Lecture Notes in Computer Science 6140: 25--39.
• A generic scheme for integrating strong consistencies into constraint solvers (2010). [paper]
  Julien Vion Thierry Petit Narendra Jussien Recent Advances in Constraints, Revised Selected Papers from CSCLP'09., Lecture Notes in Computer Science 6384
• La contrainte increasing-nvalue (2010). [hal] [paper]
  Nicolas Beldiceanu Fabien Hermenier Xavier Lorca Thierry Petit 6èmes Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 71-81.
• 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),
• A generic scheme for integrating strong consistencies into constraint solvers (2009). [hal] [paper]
  Julien Vion Thierry Petit Narendra Jussien 14th ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'09),
• Un schéma générique pour intégrer des consistances fortes dans les solveurs de contraintes (2009). [hal] [paper]
  Julien Vion Thierry Petit Narendra Jussien 5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), Orléans, France. pp. 315--324.
• The Ordered Global Cardinality Constraint (2009). [paper]
  Thierry Petit Jean-Charles Régin Technical report 09-07-INFO, École des Mines de Nantes.
• The Soft Cumulative Constraint (2009). [paper]
  Thierry Petit Emmanuel Poder Technical report 09-06-INFO, École des Mines de Nantes.
• Integrating Strong Local Consistencies into Constraint Solvers (2009). [paper]
  Julien Vion Thierry Petit Narendra Jussien Technical report 09-01-INFO, École des Mines de Nantes.

2008

• Global propagation of practicability constraints (2008). [hal]
  Thierry Petit Emmanuel Poder 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), Paris, France. Lecture Notes in Computer Science 5015: 361--366.
• 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.
• 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.
• Global propagation of practicability constraints (2007).
  Thierry Petit Emmanuel Poder Technical report 07-02-INFO, École des Mines de Nantes.
• Propagation of practicability criteria (2007).
  Thierry Petit Technical report 07-01-INFO, École des Mines de Nantes.

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.

2005

• Reformulation of Global Constraints Based on Constraint Checkers (2005). [doi]
  Nicolas Beldiceanu Mats Carlsson Romuald Debruyne Thierry Petit Constraints 10(4): 339--362.
• 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.
• Bounds of Graph Properties (2005).
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart Technical report 05-02-INFO, École des Mines de Nantes.

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.
• Cost Evaluation of Soft Global Constraints (2004).
  Nicolas Beldiceanu Thierry Petit 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 80-95.
• Deriving Filtering Algorithms from Constraint Checkers (2004). [paper]
  Nicolas Beldiceanu Mats Carlsson Thierry Petit Technical report T2004-08, Swedish Institute of Computer Science.

2003

• A General Conflict-Set Based Framework for Partial Constraint Satisfaction (2003). [paper]
  Thierry Petit Christian Bessière Jean-Charles Régin CP'03 5th Workshop on Soft Constraints (Soft'03), Kinsale, Ireland.
• Détection de Conflits pour la Résolution de Problèmes Sur-Contraints (2003). [paper]
  Thierry Petit Christian Bessière Jean-Charles Régin 9èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'03), Amiens, France. pp. 293-307.

2002

• Range-based Algorithm for Max-CSP (2002). [url]
  Thierry Petit Jean-Charles Régin Christian Bessière 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, NY, USA. Lecture Notes in Computer Science 2470: 280-294.
• Range-based Algorithm for Max-CSP (2002). [url]
  Thierry Petit Jean-Charles Régin Christian Bessière ECAI'02 Workshop on Modelling and Solving Problems with Constraints, Lyon, France.
• Representation of soft constraints by hard constraints (2002). [url]
  Jean-Charles Régin Jean-François Puget Thierry Petit 11èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'02), Nice, France.
• Modélisation et algorithmes de résolution des problèmes sur-contraints (2002). [paper]
  Thierry Petit PhD Thesis, LIRMM-Université de Montpellier II.

2001

• Specific Filtering Algorithms for Over-Constrained Problems (2001). [url]
  Thierry Petit Jean-Charles Régin Christian Bessière 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 451-464.
• New Lower Bounds of Constraint Violations for Over-Constrained Problems (2001). [url]
  Jean-Charles Régin Thierry Petit Christian Bessière Jean-François Puget 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 332-345.
• Algorithmes de filtrage specifiques pour les problemes sur-contraints (2001). [url]
  Thierry Petit Jean-Charles Régin Christian Bessière 7èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), Toulouse, France.
• Generalization of constructive disjunction for over-constrained problems (2001). [url]
  Thierry Petit Jean-Charles Régin Christian Bessière INFORMS International Meeting, Miami, USA.
• Problèmes sur-contraints (2001).
  Thierry Petit Journées Franciliennes de Recherche Opérationnelle (JFRO'01), Paris.
• Problèmes sur-contraints (2001). [url]
  Thierry Petit Journees des doctorants de l'école I2S, Montpellier. pp. 96-99.

2000

• An original constraint based approach for solving over constrained problems (2000). [url]
  Jean-Charles Régin Thierry Petit Christian Bessière Jean-François Puget 6th International Conference on Principles and Practice of Constraint Programming (CP'00), Singapore. Lecture Notes in Computer Science 1894: 543-548.
• Meta-constraints on violations for over-constrained problems (2000). [url]
  Thierry Petit Jean-Charles Régin Christian Bessière 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00), Vancover, Canada. pp. 358-365.
• An original constraint based approach for solving over constrained problems (2000).
  Thierry Petit Jean-Charles Régin 17th International Symposium on Mathematical Programming (ISMP'00), Atlanta, USA.
• Meta-contraintes pour la modélisation de problèmes sur-contraints (2000). [url]
  Thierry Petit 6èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'00), Marseille, France.