Type: Rapports de recherche

2013

• Propagation Engine Prototyping with a Domain Specific Language (2013).
  Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien Constraints, to appear
• 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),

2012

• Improving the Asymmetric TSP by Considering Graph Structure (2012). [paper]
  Jean-Guillaume Fages Xavier Lorca Technical report 12-4-INFO, Ecole des Mines de Nantes, TASC(LINA/CNRS/INRIA).
• Intermediary Local Consistencies (2012).
  Thierry Petit Technical report 12-1-INFO, Ecole des Mines de Nantes, TASC(LINA/CNRS/INRIA).

2011

• Multi-Agent Electro-Location and the Among Constraint (2011). [hal] [paper]
  Gilles Chabert Frédéric Boyer Sophie Demassey Technical report 00598712, INRIA.
• A Constraint Programming Approach for a Batch Processing Problem with Non-identical Job Sizes (2011). [paper]
  Arnaud Malapert Christelle Guéret Louis-Martin Rousseau Technical report 11-06-AUTO, École des Mines de Nantes.

2010

• 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.
• 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.
• Modelling a Maintenance Scheduling Problem with Alternative Resources (2010). [paper]
  Aliaa M. Badr Arnaud Malapert Kenneth N. Brown Technical report 10-03-INFO, École des Mines de Nantes.
• Modélisation et optimisation des préférences en planification de personnel (2010). [paper]
  Julien Menana Sophie Demassey Narendra Jussien Technical report 11-01-INFO, École des Mines de Nantes.

2009

• 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.
• An Optimal Constraint Programming Approach to solve the Open-Shop Problem (2009). [paper]
  Arnaud Malapert Hadrien Cambazard Christelle Guéret Narendra Jussien André Langevin Louis-Martin Rousseau Technical report CIRRELT-2009-25, CIRRELT, Montréal.
• 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.
• Light Algorithms for Maintaining Max-RPC During Search (2009). [paper]
  Julien Vion Romuald Debruyne Technical report 09-05-INFO, École des Mines de Nantes.
• Dual Consistency and Non-binary Constraints (2009). [paper]
  Julien Vion Technical report 09-04-INFO, École des Mines de Nantes.
• Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes (2009). [paper]
  Mats Carlsson Nicolas Beldiceanu Julien Martin Technical report T2009-02, Swedish Institute of Computer Science.
• On the Clique Partition of Rectangle Graphs (2009). [paper]
  Gilles Chabert Xavier Lorca Technical report 09-03-INFO, École des Mines de Nantes.
• Toward Plug & Solve Global Constraints (2009).
  Guillaume Richaud Xavier Lorca Narendra Jussien Technical report 09-02-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.
• Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [paper]
  Magnus \rAgren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli Technical report T2009-01, Swedish Institute of Computer Science.

2008

• Entropy: a Consolidation Manager for Clusters (2008). [hal] [paper]
  Fabien Hermenier Xavier Lorca Jean-Marc Menaud Gilles Müller Julia Lawall Technical report 6639, INRIA Rennes.
• Occlusion-free Camera Control (2008). [hal]
  Marc Christie Patrick Olivier Jean-Marie Normand Technical report 6640, INRIA Rennes.
• A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008). [paper]
  Nicolas Beldiceanu Mats Carlsson Julien Martin Technical report T2008-04, Swedish Institute of Computer Science.
• Two-Dimensional Pickup and Delivery Routing Problem with Loading Constraints (2008). [paper]
  Arnaud Malapert Christelle Guéret Narendra Jussien André Langevin Louis-Martin Rousseau Technical report CIRRELT-2008-37, Centre Inter-universitaire de Recherche sur les Réseaux d'Entreprise, la Logistique et le Transport.

2007

• A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [paper]
  Nicolas Beldiceanu Emmanuel Poder Rida Sadek Mats Carlsson Charlotte Truchet Technical report T2007-08, Swedish Institute of Computer Science.
• 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.
• Heuristiques de construction et améliorations pour les problèmes de tournés de livraisons multi-périodiques incluant les concepts de logistique inverse (2007).
  Émilie Grellier Pierre Dejax Narendra Jussien Technical report 07-01-AUTO, École des Mines de Nantes.

2006

• Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems (2006). [paper]
  Nicolas Beldiceanu Pierre Flener Xavier Lorca Technical report 2006-020, Department of Information Technology, Uppsala University, Sweden.
• Graph-Properties Based Filtering (2006). [paper]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit Technical report T2006-10, Swedish Institute of Computer Science.

2005

• Dynamic constraint programming for solving hard real-time allocation problems (2005). [paper]
  Pierre-Emmanuel Hladik Hadrien Cambazard Anne-Marie Déplanche Narendra Jussien Technical report 2005-7, IRCCyN.
• 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.

2004

• Modélisation et optimisation d'un problème de tournées de véhicules avec gestion de stocks (2004).
  Émilie Grellier Pierre Dejax Yazid Mati Technical report 04-6-AUTO, École des Mines de Nantes.
• Decomposition and learning for a hard real time task allocation problem (2004). [paper]
  Hadrien Cambazard Pierre-Emmanuel Hladik Anne-Marie Déplanche Narendra Jussien Yvon Trinquet Technical report 04-04-INFO, École des Mines de Nantes.
• Explained global constraints at work (2004). [paper]
  Étienne Gaudin Narendra Jussien Guillaume Rochart Technical report 04-03-INFO, École des Mines de Nantes.
• Filtering Algorithms for the Same and UsedBy Constraints (2004). [url]
  Nicolas Beldiceanu Irit Katriel Sven Thiel Technical report MPI-I-2004-001, MPI.
• Deriving Filtering Algorithms from Constraint Checkers (2004). [paper]
  Nicolas Beldiceanu Mats Carlsson Thierry Petit Technical report T2004-08, Swedish Institute of Computer Science.

2003

• Explanation-based repair techniques for constraint programming (2003). [paper]
  Narendra Jussien Romuald Debruyne Technical report D3.2.3, Projet OADymPPaC.
• The versatility of using explanations within constraint programming (2003). [paper]
  Narendra Jussien Technical report 03-04-INFO, École des Mines de Nantes.
• Explanations for global constraints: instrumenting the stretch constraint (2003). [paper]
  Guillaume Rochart Narendra Jussien Technical report 03-01-INFO, École des Mines de Nantes.

2002

• Non-intrusive constraint solver enhancements (2002). [paper]
  Rémi Douence Narendra Jussien Technical report 02-2-INFO, École des Mines de Nantes.
• Conflict-based repair techniques for solving dynamic scheduling problems (2002). [paper]
  Abdallah Elkhyari Christelle Guéret Narendra Jussien Technical report 02-5-INFO, École des Mines de Nantes.
• No Java without Caffeine -- A tool for dynamic analysis of Java programs (2002). [paper]
  Yann-Ga\"{e}l Guéhéneuc Rémi Douence Narendra Jussien Technical report 02-7-INFO, École des Mines de Nantes.
• Revisiting the Lexicographic Ordering Constraint (2002). [paper]
  Mats Carlsson Nicolas Beldiceanu Technical report T2002-17, Swedish Institute of Computer Science.
• Arc-Consistency for a Chain of Lexicographic Ordering Constraints (2002). [paper]
  Mats Carlsson Nicolas Beldiceanu Technical report T2002-18, Swedish Institute of Computer Science.
• Cost-Filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint (2002). [paper]
  Nicolas Beldiceanu Mats Carlsson Sven Thiel Technical report T2002-14, Swedish Institute of Computer Science.
• Débogage dynamique de programmes avec contraintes sur les domaines finis: état et perspectives (2002). [url]
  Pierre Deransart François Fages Narendra Jussien Ludovic Langevine Raphaël Martin Technical report D2.1.1.1, Projet OADymPPaC.
• Unifying search algorithms for CSP (2002). [paper]
  Narendra Jussien Olivier Lhomme Technical report 02-3-INFO, École des Mines de Nantes.
• Correctness of Constraint Retraction Algorithms (2002). [paper]
  Romuald Debruyne Gérard Ferrand Narendra Jussien Willy Lesaint Samir Ouis Alexandre Tessier Technical report 02-6-INFO, École des Mines de Nantes.
• Correctness of Constraint Retraction Algorithms (2002). [url]
  Romuald Debruyne Gérard Ferrand Narendra Jussien Willy Lesaint Samir Ouis Alexandre Tessier Technical report 2002-09, Laboratoire d'Informatique Fondamentale d'Orléans.

2001

• Proposition de format concret pour les traces générées par les solveurs de contraintes (2001). [paper]
  Romuald Debruyne Jean-Daniel Fekete Narendra Jussien Mohammad Ghoniem others Technical report D2.2.2.1, Projet OADymPPaC.
• Loading aircrafts for military operations (2001). [paper]
  Christelle Guéret Narendra Jussien Olivier Lhomme Claire Pavageau Christian Prins Technical report 01-2-INFO, École des Mines de Nantes.
• e-constraints: explanation-based Constraint Programming (2001).
  Narendra Jussien Technical report 01-5-INFO, École des Mines de Nantes.
• User-friendly explanations for constraint programming (2001).
  Narendra Jussien Samir Ouis Technical report 01-6-INFO, École des Mines de Nantes.
• Constructive cardinality (2001). [url]
  Nicolas Beldiceanu Mats Carlsson Technical report T2001-15, Swedish Institute of Computer Science.

2000

• 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.

1999

• A Note on CSPLIB prob007 (1999). [paper]
  Helmut Simonis Nicolas Beldiceanu Technical report , .
• A Note on Perfect Square Placement (1999). [paper]
  Helmut Simonis, Éric Bourreau et Nicolas Beldiceanu Technical report , .

1998

• Which local consistency has to used on large constraint networks ? (1998). [paper]
  Romuald Debruyne Christian Bessière Technical report 98-037, LIRMM-Université de Montpellier II.
• Removing more values than max-restricted path consistency for the same cost (1998). [paper]
  Romuald Debruyne Technical report 98-041, LIRMM-Université de Montpellier II.

1997

• A Best First approach for solving over-constrained dynamic problems (1997). [paper]
  Narendra Jussien Patrice Boizumault Technical report 97-6-INFO, École des Mines de Nantes.
• Stratégies en Meilleur d'abord pour la relaxation de contraintes (1997).
  Narendra Jussien Patrice Boizumault Technical report 97-5-INFO, École des Mines de Nantes.

1996

• Maintien de Déduction pour la Relaxation de Contraintes (1996).
  Narendra Jussien Patrice Boizumault Technical report 96-4-INFO, École des Mines de Nantes.
• CSP dynamiques et Relaxation de Contraintes (1996).
  Narendra Jussien Patrice Boizumault Technical report 96-3-INFO, École des Mines de Nantes.

1994

• DnAC-6 (1994).
  Romuald Debruyne Technical report 94-054, LIRMM-Université de Montpellier II.

1992

• Quelques propriétés des consistances d'arc et de chemin pour deux classes de CSP (1992).
  Philippe David Technical report 92-007, LIRMM-Université de Montpellier II.

1990

• An Example of Introduction of Global Constraints in CHIP: Application to Block Theory Problems (1990).
  Nicolas Beldiceanu Technical report LP-49, ECRC.