Type: Conférences majeures en PPC/AI

2013

• Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem (2013).
  Jean-Guillaume Fages Tanguy Lapègue 19th International Conference on Principles and Practice of Constraint Programming (CP'13), best student paper, Lectures Notes in Computer Science 8124
• Propagation Engine Prototyping with a Domain Specific Language (2013).
  Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien Constraints, to appear
• Asynchronous Forward Bounding Revisited (2013).
  Mohamed Wahbi Redouane Ezzahir Christian Bessiere 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Uppsala, Sweden. Lecture Notes in Computer Science: 708--723.
• Prototyper des Moteurs de Propagation avec un DSL (2013).
  Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien 9èmes Journées Francophones de Programmation par Contraintes(JFPC'13),
• 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
• Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker (2013).
  Nicolas Beldiceanu Helmut Simonis 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.
• A Scalable Sweep Algorithm for the cumulative Constraint (2012).
  Arnaud Letort Nicolas Beldiceanu Mats Carlsson 8th 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 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Quebec City, Canada. Lecture Notes in Computer Science
• 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.

2011

• 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
• Octagonal Domains for Continuous Constraints (2011).
  Marie Pelleau Charlotte Truchet Frédéric Benhamou 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• Revisiting the tree Constraint (2011).
  Jean-Guillaume Fages Xavier Lorca 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
• 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
• Bin-Repacking Scheduling in Virtualized Datacenters (2011).
  Fabien Hermenier Sophie Demassey Xavier Lorca 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
• Inner Regions and Interval Linearizations for Global Optimization (2011). [paper]
  Gilles Trombettoni Ignacio Araya Bertrand Neveu Gilles Chabert AAAI, pp. 99--104.
• Multi-Agent Electro-Location and the Among Constraint (2011). [hal] [paper]
  Gilles Chabert Frédéric Boyer Sophie Demassey Technical report 00598712, INRIA.

2010

• Sweeping with Continous Domains (2010). [slides]
  Gilles Chabert Nicolas Beldiceanu 16th International Conference on Principles and Practice of Constraint Programming (CP'10), St Andrews, Scotland. Lecture Notes in Computer Science 6308: 137--151.
• 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.
• 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.
• On Matrices, Automata and Double Counting (2010). [slides]
  Nicolas Beldiceanu Mats Carlsson Pierre Flener Justin Pearson 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: 10--24.
• Abstract Domains for Constraint Programming, with the Example of Octagons (2010). [doi]
  Charlotte Truchet Marie Pelleau Frédéric Benhamou 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 72-79.

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 Constraint on the Number of Distinct Vectors with Application to Localization (2009). [hal] [paper]
  Gilles Chabert Luc Jaulin Xavier Lorca 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 196-210.
• Hull Consistency Under Monotonicity (2009). [hal] [paper]
  Gilles Chabert Luc Jaulin 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 188-195.
• Closing the Open Shop: Contradicting Conventional Wisdom (2009). [doi] [url]
  Diarmuid Grimes Emmanuel Hebrard Arnaud Malapert 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 400-408.
• Sequencing and counting with the multicost-regular constraint (2009). [hal] [doi] [paper]
  Julien Menana Sophie Demassey 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 178--192.
• Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [hal] [doi] [slides]
  Magnus \rAgren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 11--25.

2008

• A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008). [hal] [doi] [paper] [slides]
  Mats Carlsson Nicolas Beldiceanu Julien Martin 14th International Conference on Principles and Practice of Constraint Programming (CP'08), Sidney, Australia. Lecture Notes in Computer Science 5202: 220--234.
• A Branch and Bound Algorithm for Numerical MAX-CSP (2008). [hal] [doi] [paper]
  Jean-Marie Normand Alexandre Goldsztejn Marc Christie Frédéric Benhamou 14th International Conference on Principles and Practice of Constraint Programming (CP'08), Sydney, Australia. Lecture Notes in Computer Science 5202: 205--219.
• New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2008). [hal] [paper] [slides]
  Nicolas Beldiceanu Mats Carlsson 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: 21--35.
• 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.
• A tabu search method for interval constraints (2008). [hal]
  Charlotte Truchet Marc Christie Jean-Marie Normand 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: 372--376.

2007

• 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.
• A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [hal] [paper] [slides]
  Nicolas Beldiceanu Mats Carlsson Emmanuel Poder Rida Sadek Charlotte Truchet 13th International on Principles and Practice of Constraint Programming (CP'07), Brown, USA. Lecture Notes in Computer Science 4741: 180--194.
• A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production (2007). [hal] [paper] [slides]
  Nicolas Beldiceanu Emmanuel Poder 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), Brussels, Belgium. Lecture Notes in Computer Science 4150: 214--228.
• Necessary Condition for Path Partitioning Constraints (2007). [hal] [paper] [slides]
  Nicolas Beldiceanu Xavier Lorca 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), Brussels, Belgium. Lecture Notes in Computer Science 4150: 141-154.

2006

• 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.
• Undirected Forest Constraints (2006). [hal] [paper]
  Nicolas Beldiceanu Irit Katriel Xavier Lorca 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), Cork, Ireland. Lecture Notes in Computer Science 3990: 29-43.

2005

• 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.
• Integrating Benders decomposition within Constraint Programming (2005). [paper]
  Hadrien Cambazard Narendra Jussien 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain. Lecture Notes in Computer Science 3709: 752-756.
• The Tree Constraint (2005). [hal] [paper]
  Nicolas Beldiceanu Pierre Flener Xavier Lorca 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'05), Prague, Czech Republic. Lecture Notes in Computer Science 3524: 64-78.
• Identifying and exploiting problem structures using explanation-based constraint programming (2005). [paper]
  Hadrien Cambazard Narendra Jussien 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'05), Prague, Czech Republic. Lecture Notes in Computer Science 3524: 94-109.
• Optimal and Suboptimal Singleton Arc Consistency Algorithms (2005). [paper]
  Christian Bessière Romuald Debruyne 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland. pp. 54-59.

2004

• Decomposition and learning for a real time task allocation problem (2004). [paper]
  Hadrien Cambazard Pierre-Emmanuel Hladik Anne-Marie Déplanche Narendra Jussien Yvon Trinquet 10th International Conference on Principles and Practice of Constraint Programming (CP'04), Toronto, Canada. Lecture Notes in Computer Science 3258: 153-167.
• 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.
• Filtering Algorithms for the Same (2004).
  Nicolas Beldiceanu Irit Katriel Sven Thiel 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 65-79.
• The Period Constraint (2004). [slides]
  Nicolas Beldiceanu Emmanuel Poder International Conference on Logic Programming (ICLP'04), Lecture Notes in Computer Science

2003

• Sweep synchronisation as a global propagation mechanism (2003).
  Nicolas Beldiceanu Mats Carlsson Sven Thiel 5th International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Problems (CPAIOR'03), Montréal, Canada. pp. 51 - 65.
• On-Line Resources Allocation for ATM Networks with Rerouting (2003).
  Samir Loudni Patrice Boizumault Philippe David 5th International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Problems (CPAIOR'03), Montréal, Canada. pp. 51 - 65.

2002

• Connections Reservation with Rerouting for ATM Networks : A Hybrid Approach with Constraints (2002).
  Muriel Lauvergne Philippe David Patrice Boizumault 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, NY, USA. Lecture Notes in Computer Science 2470: 649 - 663.
• 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.
• A New Multi-Resource cumulatives Constraint with Negative Heights (2002). [url]
  Nicolas Beldiceanu Mats Carlsson 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, NY, USA. Lecture Notes in Computer Science 2470: 63-79.
• Conflict-based repair techniques for solving dynamic scheduling problems (2002). [hal] [paper]
  Abdallah Elkhyari Christelle Guéret Narendra Jussien 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, NY, USA. Lecture Notes in Computer Science 2470: 702-707.

2001

• Non-overlapping Constraints between Convex Polytopes (2001). [url]
  Nicolas Beldiceanu Qi Guo Sven Thiel 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 392-407.
• Sweep as a Generic Pruning Technique Applied to the Non-Overlapping Rectangles Constraints (2001).
  Nicolas Beldiceanu Mats Carlsson 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 377-391.
• Pruning for the minimum Constraint Family and for the number of distinct values Constraint Family (2001). [url] [slides]
  Nicolas Beldiceanu 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 211-224.
• 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.
• Revisiting the cardinality Operator and Introducing the cardinality-path Constraint Family (2001). [url] [slides]
  Nicolas Beldiceanu Mats Carlsson International Conference on Logic Programming (ICLP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2237: 59-73.
• Resource Allocation in ATM Networks: A Hybrid Approach (2001).
  Muriel Lauvergne Philippe David Patrice Boizumault 3rd International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Problems (CPAIOR'01), Ashford, UK. pp. 51 - 65.

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.
• 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.
• Maintaining Arc-Consistency within Dynamic Backtracking (2000). [paper]
  Narendra Jussien Romuald Debruyne Patrice Boizumault 6th International Conference on Principles and Practice of Constraint Programming (CP'00), Singapore. Lecture Notes in Computer Science 1894: 249-261.
• A Property of Path Inverse Consistency Leading to an Optimal Algorithm (2000). [paper]
  Romuald Debruyne European Conference on Artificial Intelligence (ECAI'00), Berlin, Germany. pp. 88-92.

1997

• From restricted path consistency to max-restricted path consistency (1997). [paper]
  Romuald Debruyne Christian Bessière 3rd International Conference on Principles and Practice of Constraint Programming (CP'97), Linz, Austria. pp. 312-326.
• Some Practicable Filtering Techniques for the Constraint Satisfaction Problem (1997). [paper]
  Romuald Debruyne Christian Bessière 15th International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan. pp. 412-417.

1996

• Arc-consistency in Dynamic CSPs Is No More Prohibitive (1996). [paper]
  Romuald Debruyne 8th International Conference on Tools with Artificial Intelligence (ICTAI'96), Toulouse, France. pp. 239-267.

1993

• Overview of the CHIP Compiler System (1993).
  Abderrahmane Aggoun Nicolas Beldiceanu Constraint Logic Programming, Selected Research, pp. 421-435.

1991

• Overview of the CHIP Compiler System (1991).
  Abderrahmane Aggoun Nicolas Beldiceanu International Conference on Logic Programming, pp. 775-789.