Theme: explications/dynamique

2013

• Nogood-based asynchronous forward checking algorithms (2013). [doi] [url]
  Mohamed Wahbi Redouane Ezzahir Christian Bessiere ElHoussine Bouyakhf Constraints 18(3): 404--433.
• Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone (2013).
  Mohamed Wahbi Redouane Ezzahir Christian Bessiere ElHoussine Bouyakhf 9ème Journées Francophones de Programmation par Contraintes, Aix-en-Provence, France. pp. 347--356.

2012

• Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search (2012). [doi]
  Wahbi, Mohamed Ezzahir, Redouane Bessiere, Christian Bouyakhf, El Houssine 24th International Conference on Tools with Artificial Intelligence (ICTAI'12), Athens, Greece. vol. 1. pp. 33--40.

2009

• Entropy: a Consolidation Manager for Clusters (2009). [hal] [doi]
  Fabien Hermenier Xavier Lorca Jean-Marc Menaud Gilles Müller Julia Lawall ACM International Conference on Virtual Execution Environments (VEE'09), pp. 41--50.
• Outillage logiciel pour les problèmes dynamiques (2009). [hal]
  Guillaume Richaud PhD Thesis, Université de Nantes.

2008

• Learning from the past to dynamically improve search: a case study on the MOSP problem (2008). [hal] [paper]
  Hadrien Cambazard Narendra Jussien Post-proceedings volume on Learning and Intelligent OptimizatioN (LION II), Lecture Notes in Computer Science 5313: 69--80.
• Reactive approaches (2008). [hal] [url]
  Christelle Guéret Narendra Jussien In Resource-Constrained Project Scheduling -- Models, algorithms, extensions and applications, pp. 191--201. Christian Artigues and Sophie Demassey and Emmanuel Néron (ed.), ISTE/Wiley, ISBN 978-1-84821-034-9.
• 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.

2007

• 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.
• Schedulability analysis of OSEK/VDX applications (2007). [paper]
  Pierre-Emmanuel Hladik Anne-Marie Déplanche Sébastien Faucou Yvon Trinquet 15th International Conference on Real-Time and Network Systems (RTNS'07), Nancy, France. pp. 131-139.
• Learning from the past to dynamically improve search: a case study on the MOSP problem (2007). [paper]
  Hadrien Cambazard Narendra Jussien International Conference on Learning and Intelligent OptimizatioN (LION II),
• Learning from the past to dynamically improve search (2007). [paper]
  Narendra Jussien International Conference on Learning and Intelligent OptimizatioN (LION II),
• Solving the Minimum number of Open Stacks Problem with explanation-based techniques (2007). [paper]
  Hadrien Cambazard Narendra Jussien AAAI'07 Workshop Explanation-aware Computing (ExaCt'07), Vancouver, Canada.

2006

• Identifying and exploiting problem structures using explanation-based constraint programming (2006). [hal] [doi] [paper]
  Hadrien Cambazard Narendra Jussien Constraints 11(4): 295--313.
• 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.
• Solving allocation problems of hard real-time systems with dynamic constraint programming (2006). [hal] [paper]
  Pierre-Emmanuel Hladik Hadrien Cambazard Anne-Marie Déplanche Narendra Jussien 14th International Conference on Real-Time and Network Systems (RTNS'06), Poitiers, France.
• Automata for Nogood recording in Constraint satisfaction Problems (2006). [paper]
  Guillaume Richaud Hadrien Cambazard Barry O'Sullivan Narendra Jussien CP'06 Workshop on the Integration of SAT and CP techniques, Nantes, France.
• Techniques rétrospectives pour résoudre le Minimum Open Stacks Problem (2006). [hal] [paper]
  Hadrien Cambazard Narendra Jussien 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 89-98.
• Suppression de symétries pour les méthodes rétro-prospectives (2006). [hal] [paper]
  Guillaume Richaud Hadrien Cambazard Narendra Jussien 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 295-304.
• Guiding Architectural Design Process of Hard Real-Time Systems with Constraint Programming (2006). [paper]
  Pierre-Emmanuel Hladik Hadrien Cambazard Anne-Marie Déplanche Narendra Jussien 3rd Taiwanese-French Conference on Information Technology (TFIT'06), Nancy, France. pp. 317-331.
• Résolution de problèmes combinatoires par des approches fondées sur la notion d'explication (2006). [hal] [paper]
  Hadrien Cambazard PhD Thesis, Université de Nantes.
• Experiments with Resolution Search (2006). [hal] [url]
  Sophie Demassey Workshop on Hybrid methods and branching rules in combinatorial optimization. Invited by V. Chvàtal.

2005

• Constraint solving in uncertain and dynamic environments -- a survey (2005). [hal] [doi]
  Gérard Verfaillie Narendra Jussien Constraints 10(3): 253--281.
• 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.
• 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.
• Interactively solving school timetabling problems using extensions of constraint programming (2005). [hal] [paper]
  Hadrien Cambazard Fabien Demazeau Narendra Jussien Philippe David In Practice and Theory of Automated Timetabling V, Lecture Notes in Computer Science 3616: 190-207. Edmund K. Burke and Michael Trick (ed.), Springer-Verlag,
• Ordonnancement dynamique de projet à contraintes de ressources (2005).
  Abdallah Elkhyari Christelle Guéret Narendra Jussien In Flexibilité et Robustesse en Ordonnancement, Jean-Charles Billaut and Aziz Moukrim and Éric Sanlaville (ed.), Hermès,
• Benders decomposition in Constraint Programming (2005).
  Hadrien Cambazard Narendra Jussien Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming (CSCLP'05), Uppsala, Sweden.
• Peeking in Solver Strategies Using Explanations -- Visualization of Dynamic Graphs for Constraint Programming (2005).
  Mohammad Ghoniem Hadrien Cambazard Jean-Daniel Fekete Narendra Jussien ACM symposium on Software Visualization (SOFTVIS'05), Saint-Louis, MO, USA. pp. 27-36.
• 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.
• Explanation-based constraint programming (2005).
  Narendra Jussien 2nd Franco-Japanese Workshop on Constraint Programming (FJCP'05), Le Croisic, France.
• Explications pratiques pour la programmation par contraintes (2005).
  Guillaume Rochart PhD Thesis, Université de Nantes.
• Implémenter des contraintes globales expliquées (2005). [hal] [paper]
  Guillaume Rochart Narendra Jussien 1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France. pp. 393-402.
• Des explications pour reconnaître et exploiter les structures cachées (2005). [hal] [paper]
  Hadrien Cambazard Narendra Jussien 1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France. pp. 403-412.
• Programmation par contraintes avec explications: études et perspectives (2005).
  Narendra Jussien Séminaire 68NQRT de l'IRISA.
• Programmation par contraintes avec explications: études et perspectives (2005).
  Narendra Jussien Séminaire du Laboratoire d'Informatique et de Micro-électronique de Montpellier.
• Explanation-based constraint programming (2005).
  Narendra Jussien Cork Constraint Computation Center seminar.

2004

• Une contrainte stretch expliquée (2004). [hal] [paper]
  Guillaume Rochart Narendra Jussien Journal Électronique d'Intelligence Artificielle 3(31)
• 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.
• Interactively solving school timetabling problems using extensions of constraint programming (2004). [paper]
  Hadrien Cambazard Fabien Demazeau Narendra Jussien Philippe David Practice and Theory of Automated Timetabling (PATAT'04), Pittsburgh, PA USA. pp. 107-124.
• Implementing explained global constraints (2004). [paper]
  Étienne Gaudin Narendra Jussien Guillaume Rochart CP'04 Workshop on Constraint Propagation and Implementation (CPAI'04), Toronto, Canada. pp. 61-76.
• MINLP Problems and Explanation-based Constraint Programming (2004). [paper]
  Guillaume Rochart Eric Monfroy Narendra Jussien CP'04 4th Workshop on Cooperative Solvers in Constraint Programming (COSOLV'04), Toronto, Canada.
• Constraint programming for dynamic scheduling problems (2004). [hal] [paper]
  Abdallah Elkhyari Christelle Guéret Narendra Jussien International Scheduling Symposium (ISS'04), Awaji, Hyogo, Japan. pp. 84-89.
• Decomposition and learning for a hard real-time task allocating problem (2004).
  Hadrien Cambazard Pierre-Emmanuel Hladik Anne-Marie Déplanche Narendra Jussien Yvon Trinquet CORS/INFORMS Joint International Meeting, Banff, Alberta, Canada. vol. 3258/2004.
• Stable solutions for dynamic project scheduling problems (2004). [hal] [paper]
  Abdallah Elkhyari Christelle Guéret Narendra Jussien 9th International Workshop on Project Management and Scheduling (PMS'04), Nancy, France. pp. 380-384.
• VISEXP: visualizing constraint solver dynamics using explanations (2004). [paper]
  Mohammad Ghoniem Narendra Jussien Jean-Daniel Fekete 17th International Florida Artificial Intelligence Research Society Conference (FLAIRS'04), Miami, Florida, USA.
• Décomposition et apprentissage pour un problème d'allocation de t\^{a}ches temps-réel (2004). [paper]
  Hadrien Cambazard Pierre-Emmanuel Hladik Anne-Marie Déplanche Narendra Jussien Yvon Trinquet 10èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04), Angers, France. pp. 123-138.
• Contraintes de flot et explications (2004). [paper]
  Guillaume Rochart Narendra Jussien 10èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04), Angers, France. pp. 369-372.
• Explained global constraints at work (2004). [paper]
  Étienne Gaudin Narendra Jussien Guillaume Rochart Technical report 04-03-INFO, École des Mines de Nantes.

2003

• Solving dynamic timetabling problems as dynamic resource constrained project scheduling problems using new constraint programming tools (2003). [hal] [doi] [paper]
  Abdallah Elkhyari Christelle Guéret Narendra Jussien In Practice and Theory of Automated Timetabling IV, Lecture Notes in Computer Science 2740: 39-59. E.K. Burke and P. De Causmaecker (ed.), Springer-Verlag,
• Correctness of Constraint Retraction Algorithms (2003). [hal] [paper]
  Romuald Debruyne Gérard Ferrand Narendra Jussien Willy Lesaint Samir Ouis Alexandre Tessier 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS'03), St. Augustine, Florida, USA. pp. 172-176.
• k-relevant explanations for constraint programming (2003). [paper]
  Samir Ouis Narendra Jussien Patrice Boizumault 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS'03), St. Augustine, Florida, USA. pp. 192-196.
• Challenging explanations for global constraints (2003). [paper]
  Guillaume Rochart Narendra Jussien Fran\c{c}ois Laburthe CP'03 Workshop on User-Interaction in Constraint Satisfaction (UICS'03), Kinsale, Ireland. pp. 31-43.
• Visualizing explanations to exhibit dynamic structure in constraint problems (2003). [paper]
  Mohammad Ghoniem Narendra Jussien Jean-Daniel Fekete CP'03 Workshop on User-Interaction in Constraint Satisfaction (UICS'03), Kinsale, Ireland. pp. 1-15.
• The versatility of using explanations within constraint programming (2003). [paper]
  Narendra Jussien Technical report 03-04-INFO, École des Mines de Nantes.

2002

• Local search with constraint propagation and conflict-based heuristics (2002). [hal] [paper]
  Narendra Jussien Olivier Lhomme Artificial Intelligence 139(1): 21-45.
• 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.
• New tools for solving dynamic timetabling problems (2002). [hal]
  Abdallah Elkhyari Christelle Guéret Narendra Jussien 4th International Conference on the Practice And Theory of Automated Timetabling (PATAT'02), Gent, Belgium. pp. 112-114.
• 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 17th IEEE Conference on Automated Software Engineering (ASE'02), Edinburgh, UK. pp. 117-126.
• Tracing and explaining execution of CLP(FD) programs (2002).
  Magnus \rAgren Tamas Szeredi Nicolas Beldiceanu Mats Carlsson ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02), Copenhaguen, Denmark.
• COINS: a constraint-based interactive solving system (2002). [hal] [paper]
  Samir Ouis Narendra Jussien Patrice Boizumault ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02), Copenhaguen, Denmark. pp. 31 - 46.
• k-relevant explanations for constraint programming (2002). [paper]
  Samir Ouis Narendra Jussien Patrice Boizumault CP'02 Workshop on User-Interaction in Constraint Satisfaction (UICS'02), Ithaca, NY, USA. pp. 109-123.
• Non-intrusive constraint solver enhancements (2002). [paper]
  Rémi Douence Narendra Jussien Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'02), CW Reports 344: 26-36.

2001

• Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together (2001). [paper]
  Hervé Albin-Amiot Pierre Cointe Yann-Ga\"{e}l Guéhéneuc Narendra Jussien 16th IEEE conference on Automated Software Engineering (ASE'01), San Diego, USA. pp. 166-173.
• Using explanations for design-patterns identification (2001). [paper]
  Yann-Ga\"{e}l Guéhéneuc Narendra Jussien IJCAI'01 Workshop on Modelling and Solving problems with constraints, Seattle, WA, USA. pp. 57-64.
• e-constraints: explanation-based Constraint Programming (2001). [paper]
  Narendra Jussien CP'01 Workshop on User-Interaction in Constraint Satisfaction, Paphos, Cyprus.
• Sweep as a Generic Pruning Technique Applied to Constraint Relaxation (2001). [slides]
  Nicolas Beldiceanu Mats Carlsson CP'01 3rd Workshop on Soft Constraints (Soft'01), Paphos, Cyprus. pp. 43-55.
• User-friendly explanations for constraint programming (2001). [paper]
  Narendra Jussien Samir Ouis ICLP'01 11th Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus.

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.
• 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.
• Local search with constraint propagation and conflict-based heuristics (2000). [paper]
  Narendra Jussien Olivier Lhomme 7th National Conference on Artificial Intelligence (AAAI'00), Austin, TX, USA. pp. 169-174.
• The PaLM system: explanation-based constraint programming (2000). [paper]
  Narendra Jussien Vincent Barichard CP'00 Workshop on Techniques foR Implementing Constraint programming Systems (TRICS), Singapore. pp. 118-133.

1999

• Combining AI/OR techniques for solving Open Shop problems (1999). [paper]
  Christelle Guéret Narendra Jussien 1st International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Problems (CPAIOR'99), Ferrara, Italy. pp. 25-26.

1998

• Dynamic domain splitting for numeric CSP (1998). [paper]
  Narendra Jussien Olivier Lhomme European Conference on Artificial Intelligence (ECAI'98), Brighton, United Kingdom. pp. 224-228.
• Using intelligent backtracking to improve branch and bound methods: an application to Open-Shop problems (1998). [hal] [paper]
  Christelle Guéret Narendra Jussien Christian Prins 6th International Workshop on Project Management and Scheduling (PMS'98), Istanbul, Turkey.
• About avoidable computations in Interval methods (1998). [paper]
  Narendra Jussien Olivier Lhomme IMACS/GAMM international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'98), Budapest, Hungary. pp. 66.

1997

• Best-first search for property Maintenance in reactive constraints systems (1997). [paper]
  Narendra Jussien Patrice Boizumault International Logic Programming Symposium, Port Jefferson, N.Y., USA. pp. 339-353.
• Dynamic Backtracking with Constraint Propagation - Application to static and dynamic CSPs (1997). [paper]
  Narendra Jussien Patrice Boizumault CP'97 Workshop on The Theory and Practice of Dynamic Constraint Satisfaction, Schloss Hagenberg, Austria.
• Dynamic Backtracking with Constraint Propagation - Application to numeric CSPs (1997). [paper]
  Narendra Jussien Olivier Lhomme CP'97 Workshop on The Theory and Practice of Dynamic Constraint Satisfaction, Schloss Hagenberg, Austria.
• Relaxation de Contraintes pour les problèmes dynamiques (1997). [hal] [paper]
  Narendra Jussien PhD Thesis, Université de Rennes I.

1996

• Building University timetables using Constraint Logic Programming (1996). [paper]
  Christelle Guéret Narendra Jussien Patrice Boizumault Christian Prins In Practice and Theory of Automated Timetabling, Lecture Notes in Computer Science 1153: 130-145. Edmund Burke and Peter Ross (ed.), Springer-Verlag,
• Implementing Constraint Relaxation over Finite Domains using ATMS (1996). [paper]
  Narendra Jussien Patrice Boizumault In Over-Constrained Systems, Lecture Notes in Computer Science 1106: 265-280. Michael Jampel and Eugene Freuder and Michael Maher (ed.), Springer-Verlag,

1995

• Implementing Constraint Relaxation over Finite Domains using ATMS (1995). [paper]
  Narendra Jussien Patrice Boizumault CP'95 Workshop on Over-Constrained Systems (OCS'95), Cassis, France.

1994

• Efficient labeling and Constraint Relaxation for Solving Time Tabling Problems (1994). [paper]
  Patrice Boizumault Christelle Guéret Narendra Jussien ILPS'94 Workshop on Constraint Languages/Systems and their use in Problem Modeling, ECRC, Munich, Germany. Technical Report ECRC-94-38 1