Type: Journals

2013

• Propagation Engine Prototyping with a Domain Specific Language (2013).
  Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien Constraints, to appear
• Nogood-based asynchronous forward checking algorithms (2013). [doi] [url]
  Mohamed Wahbi Redouane Ezzahir Christian Bessiere ElHoussine Bouyakhf Constraints 18(3): 404--433.
• 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),

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.
• An Optimal Constraint Programming Approach to the Open-Shop Problem (2011).
  Arnaud Malapert Hadrien Cambazard Christelle Guéret Narendra Jussien André Langevin Louis-Martin Rousseau INFORMS Journal on Computing
• The Ordered Distribute Constraint (2011).
  Thierry Petit Jean-Charles Régin International Journal on Artificial Intelligence Tools (IJAIT)
• Multi-Agent Electro-Location and the Among Constraint (2011). [hal] [paper]
  Gilles Chabert Frédéric Boyer Sophie Demassey Technical report 00598712, INRIA.

2010

• Efficient Algorithms for Singleton Arc Consistency (2010). [hal] [doi] [paper]
  Christian Bessiere Stephane Cardon Romuald Debruyne Christophe Lecoutre Constraints 16(1): 25-53.
• Improving Inter-Block Backtracking with Interval Newton (2010). [doi] [paper]
  Bertrand Neveu Gilles Trombettoni Gilles Chabert Constraints 15(1): 93-116.
• New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2010). [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Emmanuel Poder Annals of Operations Research 184(1): 27-50.
• Resolution of Nonlinear Interval Problems using Symbolic Interval Arithmetic (2010). [doi] [paper]
  Luc Jaulin Gilles Chabert Engineering Applications of Artificial Intelligence 23(6)
• 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

• Contractor Programming (2009). [hal] [doi] [paper]
  Gilles Chabert Luc Jaulin Artificial Intelligence 173(11): 1079-1100.
• Undirected Forest Constraints (2009). [hal] [doi]
  Nicolas Beldiceanu Irit Katriel Xavier Lorca Annals of Operations Research 171(1): 127--147.
• Inductive Characterizations of Finite Interval Orders and Semiorders (2009). [hal] [doi]
  Jimmy Leblet Jean-Xavier Rampon Order 26(3): 277-281.
• A Priori Error Analysis and Spring Arithmetic (2009). [hal] [paper]
  Gilles Chabert Luc Jaulin SIAM Journal of Scientific Computing 31(3): 2214-2230.
• 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.

2008

• Combining tree Partitioning, Precedence, and Incomparability Constraints (2008). [hal] [doi] [paper]
  Nicolas Beldiceanu Pierre Flener Xavier Lorca Constraints 13(4): 459--489.
• Theoretical Analysis of Singleton Arc Consistency and Its Extensions (2008). [hal] [doi] [paper]
  Christian Bessière Romuald Debruyne Artificial Intelligence 172(1): 29-41.

2007

• Global Constraint Catalog: Past, Present and Future (2007). [hal] [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit Constraints 12(1): 21-62.
• Solving a Real-Time Allocation Problem with Constraint Programming (2007). [hal] [doi]
  Pierre-Emmanuel Hladik Hadrien Cambazard Anne-Marie Déplanche Narendra Jussien Journal of Systems and Software 81(1): 132--149.

2006

• A Cost-Regular based hybrid column generation approach (2006). [hal] [doi] [paper]
  Sophie Demassey Gilles Pesant Louis-Martin Rousseau Constraints 11(4): 315-333.
• Identifying and exploiting problem structures using explanation-based constraint programming (2006). [hal] [doi] [paper]
  Hadrien Cambazard Narendra Jussien Constraints 11(4): 295--313.
• A counting of the minimal realizations of the posets of dimension two (2006). [hal]
  Pierre Ille Jean-Xavier Rampon Ars Combinatoria 78: 157-165.
• Chain Dominated Orders (2006). [hal] [doi]
  Glen-Brug Guenver Jimmy Leblet Jean-Xavier Rampon Order 23(2-3): 109-127.
• On-Line Resources Allocation for ATM Networks with Rerouting (2006). [hal]
  Samir Loudni Patrice Boizumault Philippe David Computer and Operations Research 33(10): 2891--2917.
• Sweep synchronisation as a global propagation mechanism (2006). [hal] [doi]
  Nicolas Beldiceanu Mats Carlsson Sven Thiel Computers and Operations Research 33(10): 2835--2851.
• Bounds of parameters for global constraints (2006). [hal] [doi]
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart RAIRO Operations Research 40(4): 327--353.
• Des explications pour reconnaître et exploiter les structures cachées d'un problème combinatoire (2006). [hal] [doi]
  Hadrien Cambazard Narendra Jussien RAIRO Operations Research 40(4): 381--401.

2005

• Reformulation of Global Constraints Based on Constraint Checkers (2005). [doi]
  Nicolas Beldiceanu Mats Carlsson Romuald Debruyne Thierry Petit Constraints 10(4): 339--362.
• Constraint solving in uncertain and dynamic environments -- a survey (2005). [hal] [doi]
  Gérard Verfaillie Narendra Jussien Constraints 10(3): 253--281.
• What is reconstruction for ordered sets? (2005). [doi]
  Jean-Xavier Rampon Discrete Mathematics 291(1-3): 191-233.
• Filtering Algorithms for the Same and UsedBy Constraints (2005).
  Nicolas Beldiceanu Irit Katriel Sven Thiel Archives of Control Sciences Special issue on Constraint Programming for Decision and Control

2004

• Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption (2004). [hal]
  Emmanuel Poder Nicolas Beldiceanu Éric Sanlaville European Journal of Operational Research 153: 239-254.
• Solving Musical Constraints with Adaptive Search (2004).
  Charlotte Truchet Philippe Codognet Soft Computing 8(9): 633-640.
• Split orders. (2004). [doi]
  Glen-Brug Guenver Jean-Xavier Rampon Discrete Mathematics 276(1-3): 249-267.
• Une contrainte stretch expliquée (2004). [hal] [paper]
  Guillaume Rochart Narendra Jussien Journal Électronique d'Intelligence Artificielle 3(31)
• Un CSP comme comportement d'agent. Application à la résolution d'équations en physique des milieux granulaires (2004). [hal] [paper]
  Laurent Breton Narendra Jussien Journal Électronique d'Intelligence Artificielle 3(26)

2003

• Loading aircraft for military operations (2003). [hal] [paper]
  Christelle Guéret Narendra Jussien Olivier Lhomme Claire Pavageau Christian Prins Journal of the Operational Research Society 54(5): 458-465.

2002

• Local search with constraint propagation and conflict-based heuristics (2002). [hal] [paper]
  Narendra Jussien Olivier Lhomme Artificial Intelligence 139(1): 21-45.
• Reconstruction of Finite Truncated Semi-Modular Lattices. (2002). [doi]
  Jean-Xavier Rampon Bernd S. W. Schröder J. Comb. Theory, Ser. B 86(2): 254-272.
• Successive Search Methods for Solving Constraint and Optimization Problems (2002).
  Mohamed Tounsi Philippe David International Journal of Artificial Intelligence Tools 11(3)

2001

• Domain Filtering Consistencies (2001). [paper]
  Romuald Debruyne Christian Bessière Journal of Artificial Intelligence Research 14: 205-230.
• Resource allocation in a mobile telephone network: a constructive repair algorithm (2001).
  Patrice Boizumault Philippe David Housni Djellab RAIRO Operations Research 35: 189-209.

2000

• Using intelligent backtracking to improve branch and bound methods: an application to Open-Shop problems (2000). [hal] [paper]
  Christelle Guéret Narendra Jussien Christian Prins European Journal of Operational Research 127(2): 344-354.

1995

• Using pivot consistency to decompose and solve functional CSPs (1995).
  Philippe David Journal of Artificial Intelligence Research 2: 447-474.
• Les algorithmes d'arc-consistance dans les CSP dynamiques (1995). [paper]
  Romuald Debruyne Revue d'Intelligence Artificielle 9(3): 239-267.

1994

• Introducing Global Constraints in CHIP (1994). [hal]
  Nicolas Beldiceanu Evelyne Contejean Mathl. Comput. Modelling 20(12): 97-123.
• Consistance de pivot et CSP fonctionnels -- Une consistance partielle pour des solutions globales (1994).
  Philippe David Revue d'Intelligence Artificielle 8(2): 145-185.
• Le système expert NEREIS des annélides polychètes de France (ordre des Phyllodocida, Amphinomida, Spintherida et Eunicida) (1994). [url]
  Narendra Jussien Vincent Verger Yvon L'Hospitalier Bernard Augereau Patrick Gillet Canadian Journal of Zoology -- Revue Canadienne de Zoologie 72(12): 2255-2260.

1993

• Extending CHIP in order to Solve Complex Scheduling and Placement Problems (1993). [hal]
  Abderrahmane Aggoun Nicolas Beldiceanu Mathl. Comput. Modelling 17(7): 57-73.