Type: Autres manifestations
2013
- Prediction of Parallel Speed-ups for Las Vegas Algorithms (2013).
Charlotte Truchet
Florian Richoux
Philippe Codognet
2013 International Conference on Parallel Processing (ICPP'13),
- Propagation Engine Prototyping with a Domain Specific Language (2013).
Charles Prud'homme
Xavier Lorca
Rémi Douence
Narendra Jussien
Constraints, to appear
- Three Generalizations of the FOCUS Constraint (2013).
Nina Narodytska
Thierry Petit
Mohamed Siala
Toby Walsh
IJCAI, 23rd International Joint Conference on Artificial Intelligence,
- 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.
- Une approche basée sur les contraintes pour résoudre le problème d?arbre recouvrant de coût minimum avec contraintes de degré (2013).
Jean-Guillaume Fages
Xavier Lorca
Louis-Martin Rousseau
9 emes Journées Francophones de Programmation par Contraintes (JFPC'13), Aix-en-Provence, France. pp. 119-122.
- 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),
- La recherche locale pour la pr\'{e}-programmation d'environnements urbains durables (2013). [paper]
Bruno Belin
Marc Christie
Charlotte Truchet
Actes JFPC 2013,
- When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent (2013).
Jérémie Du Boisberranger
Danièle Gardy
Xavier Lorca
Charlotte Truchet
Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics (ANALCO2013), New Orleans, Louisiana, USA. pp. 80-90.
- Extraction de régions intérieures pour améliorer le majorant en optimisation globale sous contraintes (2013). [paper]
Ignacio Araya
Gilles Trombettoni
Bertrand Neveu
Gilles Chabert
JFPC - 9\`{e}mes Journées Francophones de Programmation par Contraintes (JFPC 2013),
- Three Generalizations of the FOCUS Constraint (extended version including proofs) (2013).
Nina Narodytska
Thierry Petit
Mohamed Siala
Toby Walsh
CoRR abs/1304.5970
- A Constraint Solver based on Abstract Domains (2013).
Marie Pelleau
Antoine Mine
Charlotte Truchet
Frederic Benhamou
14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI2013), Romas, Italy. Lecture Notes in Computer Science
2012
- UpperBounding in Inner Regions for Global Optimization under Inequality Constraints (2012). [paper]
Ignacio Araya
Gilles Trombettoni
Bertrand Neveu
Gilles Chabert
Global Optimization Workshop (GOW 12),
- A Scalable Sweep Algorithm for the cumulative and bin-packing Constraints (2012).
Arnaud Letort
Fourth International Workshop on Bin Packing and Placement Constraints (CPAIOR-BPPC'12), Nantes, France.
- 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.
- Parallel Local Search for the Costas Array Problem (2012).
Daniel Diaz
Florian Richoux
Yves Caniou
Philippe Codognet
Salvador Abreu
Parallel Computing and Optimization (IPDPS-PCO?12), Shanghai, China.
- Constraint-based Local Search for the Costas Array Problem (2012).
Daniel Diaz
Florian Richoux
Philippe Codognet
Yves Caniou
Salvador Abreu
Learning and Intelligent OptimizatioN Conference (LION 6), Paris, France.
- Performance Analysis of Parallel Constraint-Based Local Search (2012).
Yves Caniou
Daniel Diaz
Florian Richoux
Philippe Codognet
Salvador Abreu
17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), New Orleans, LA, USA.
- Towards Interactive Urban Planning with Local Search Techniques (2012). [paper]
Belin, Bruno
Christie, Marc
25th Europen conference on operational research (EURO 2012), Vilnius, Lithuania.
- Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project (2012).
[url]
Belin, Bruno
Christie, Marc
Truchet, Charlotte
3rd International Conference on Computational Sustainability (CompSust'12), Copenhagen, Denmark.
- 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.
2011
- cumulatives trajectories: a Constraint for Modelling Preemptive Reassignable Tasks with Momentarily Resource Consumption (2011). [paper]
Arnaud Letort
Doctoral Program of the 17th International Conference on Principles and Practice of Constraint Programming (CP'11), pp. 49--54.
- A Collaborative Combination between Column Generation and Ant Colony Optimization for Solving Set Packing Problems (2011). [paper]
Aurélien Merel
Xavier Gandibleux
Sophie Demassey
9th Metaheuristics International Conference (MIC'11), Udine, Italy.
- 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),
- Au-delà des produits cartésiens de domaines : l'exemple des octogones (2011).
Marie Pelleau
Charlotte Truchet
Frédéric Benhamou
7èmes Journées Francophones de Programmation par Contraintes (JFPC'11),
- Assessing Railway Infrastructure Capacity by Solving the Saturation Problem with an Improved Column Generation Algorithm (2011).
Aurélien Merel
Xavier Gandibleux
Sophie Demassey
4th International Seminar on Railway Operations Modelling and Analysis (RailRome'11), Rome, Italy.
- Towards a Realistic Evaluation of Railway Infrastructure Capacity (2011). [paper]
Aurélien Merel
Xavier Gandibleux
Sophie Demassey
9th World Congress on Railway Research (WCRR'11), Lille, France.
- Multi-Agent Electro-Location and the Among Constraint (2011).
[hal]
[paper]
Gilles Chabert
Frédéric Boyer
Sophie Demassey
Technical report 00598712, INRIA.
- Régions intérieures et linéarisations par intervalles en optimisation globale (2011). [paper]
Gilles Trombettoni
Ignacio Araya
Bertrand Neveu
Gilles Chabert
JFPC - 7\`{e}mes Journées Francophones de Programmation par Contraintes (JFPC 2011),
2010
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.
- 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.
- Lazy Composition of Representations in Java (2009).
[hal]
[paper]
Rémi Douence
Xavier Lorca
Nicolas Loriant
8th International Conference on Software Composition (SC'09), Lecture Notes in Computer Science
- Light Algorithms for Maintaining Max-RPC During Search (2009).
[hal]
[url]
Julien Vion
Romuald Debruyne
8th Symposium on Abstraction, Reformulation and Approximation (SARA'09),
- A Spatio-temporal Reasoning System for Virtual Camera Planning (2009).
[hal]
[doi]
Fabrice Lamarche
Marc Christie
Frédéric Benhamou
9th International Symposium on Smart Graphics (SG'09), Salamanca, Espagne. pp. 119-127.
- Sonet Network Design Problems (2009).
[hal]
[doi]
Marie Pelleau
Pascal Van Hentenryck
Charlotte Truchet
6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), pp. 81-95.
- 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),
- Consistance duale et réseaux non-binaires (2009).
[hal]
[paper]
Julien Vion
5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), Orléans, France. pp. 325--334.
- 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.
- Des contraintes globales prêtes à brancher (2009).
[hal]
[paper]
Guillaume Richaud
Xavier Lorca
Narendra Jussien
5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), Orléans, France. pp. 115--124.
- Séquencer et compter avec la contrainte multicost-regular (2009).
[hal]
[paper]
Julien Menana
Sophie Demassey
5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), Orléans, France. pp. 125--134.
- An improved Upper Bound for the Railway Infrastructure Capacity Problem on the Pierrefitte-Gonesse Junction (2009).
[hal]
[paper]
Aurélien Merel
Xavier Gandibleux
Sophie Demassey
Richard Lusby
10ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), Nancy, France. pp. 62--76.
- Relaxation lagrangienne pour le filtrage d'une contrainte-automate à coûts multiples (2009).
[hal]
Julien Menana
Sophie Demassey
Narendra Jussien
10ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), Nancy, France.
2008
- Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production (2008).
[hal]
[paper]
[slides]
Emmanuel Poder
Nicolas Beldiceanu
International Conference on Automated Planning and Scheduling (ICAPS'08), Sidney, Australia.
- Multiperiodic VRP models and hybrid solution techniques for closed loops-reverse logistics (2008). [paper]
Émilie Grellier
Pierre Dejax
Narendra Jussien
International Workshop on Vehicle Routing in Practice (VIP'08), Oslo, Norway.
- The CHOCO constraint programming solver (2008).
[hal]
[paper]
Narendra Jussien
Guillaume Rochart
Xavier Lorca
CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), Paris, France.
- Two-dimensional Pickup and Delivery Routing Problem with Loading Constraints (2008).
[hal]
Arnaud Malapert
Christelle Guéret
Narendra Jussien
André Langevin
Louis-Martin Rousseau
CPAIOR'08 1st Workshop on Bin Packing and Placement Constraints (BPPC'08), Paris, France.
- Un modèle markovien pour GSAT et WalkSAT -- résultats préliminaires (2008).
[hal]
[paper]
Charlotte Truchet
Damien Noguès
Narendra Jussien
4èmes Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes, France. pp. 327--336.
- 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.
- Reconfiguration dynamique du placement dans les grilles de calcul dirigée par les objectifs (2008).
[hal]
[paper]
Fabien Hermenier
Xavier Lorca
Hadrien Cambazard
Jean-Marc Menaud
Narendra Jussien
6ème Conférence Française sur les Systèmes d'Exploitation (CFSE'08), Fribourg, France.
2007
- An Inventory Pick-up and Delivery Problem in the Reverse Logistics Context: Optimization using a GRASP and hybrid approach (2007).
[hal]
[paper]
Émilie Grellier
Pierre Dejax
Narendra Jussien
7th Metaheuristics International Conference (MIC'2007), Montreal, Canada.
- 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),
- ST-serie decomposition of orders (2007).
[hal]
Jimmy Leblet
Jean-Xavier Rampon
Sixth Cologne Twente Workshop on Graphs and Combinatorial Optimization Cologne Twente Workshop on Graphs and Combinatorial Optimization (CTW 2007), Pays-Bas. pp. 89-93.
- A portable and efficient implementation of global constraints: the TREE constraint case (2007). [paper]
Guillaume Richaud
Xavier Lorca
Narendra Jussien
7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07), pp. 44-56.
- 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.
- Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins (2007).
[hal]
[url]
Nicolas Beldiceanu
Xavier Lorca
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France. pp. 297--305.
- Une contrainte cumulative continue multi-ressources avec des consommations-productions en ressources positives-négatives (2007).
[hal]
Nicolas Beldiceanu
Emmanuel Poder
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France.
- Une contrainte globale pour l'ordonnançabilité des tâches temps réel dur (2007).
[hal]
[paper]
Hadrien Cambazard
Pierre-Emmanuel Hladik
Anne-Marie Déplanche
Narendra Jussien
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France. pp. 367--376.
- Problème de tournées de collectes et livraisons multi-périodique : résolution grâce au GRASP (2007). [paper]
Émilie Grellier
Pierre Dejax
Narendra Jussien
5èmes journées francophones de Recherche Opérationnelle (FRANCORO V/ROADEF'07), Grenoble, France.
2006
- 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.
- MultiObjective Optimization and Constraint Programming (2006). [paper]
Narendra Jussien
Vincent Barichard
7th International Conference devoted to Multi-Objective Programming and Goal Programming (MOPGP'06), Vallée de la Loire, France.
- Vehicle routing problem in mixed flows for reverse logistics: a modeling framework (2006). [paper]
Émilie Grellier
Pierre Dejax
Narendra Jussien
Zhiqiang Lu
International Conference on Information Systems, Logistics, and Supply Chain (ILS'06), Lyon, France.
- Subcontractors scheduling on residential buildings construction sites (2006).
Thierry Benoist
Antoine Jeanjean
Guillaume Rochart
Hadrien Cambazard
Emilie Grellier
Narendra Jussien
International Scheduling Symposium (ISS'06), Arcadia Ichigaya, Tokyo, Japan. pp. 32-37.
- Calcul d'approximation intérieure pour la résolution de CSPs numériques (2006).
[hal]
Marc Christie
Jean-Marie Normand
Charlotte Truchet
2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France.
- 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.
- Contraintes de Partitionnement par des Arbres (2006).
[hal]
[paper]
Nicolas Beldiceanu
Irit Katriel
Xavier Lorca
2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 43-53.
- Partitionnement de graphes par des arbres sous contraintes de degré (2006).
[hal]
[paper]
Nicolas Beldiceanu
Pierre Flener
Xavier Lorca
2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 35-43.
- Évaluer la difficulté d'une grille de Sudoku à l'aide d'un modèle contraintes (2006).
[hal]
[paper]
François Laburthe
Guillaume Rochart
Narendra Jussien
2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 239-248.
- 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.
- A Column Generation Model and Constraint Programming Techniques for solving an Inventory Routing Problem in Mixed Flows (2006). [paper]
Émilie Grellier
Pierre Dejax
Narendra Jussien
Zhiqiang Lu
3rd International Workshop on Freight Transportation and Logistics (ODYSSEUS'06), Altea, Spain.
- Tournées de collectes et livraisons dans le cadre de la logistique inverse (2006). [paper]
Émilie Grellier
Pierre Dejax
Narendra Jussien
Zhiqiang Lu
7ème congrès de la Société Fran\c{c}aise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'06), Lille, France.
2005
- Faithful extensions on finite orders classes (2005).
Alain Guillet
Jimmy Leblet
Jean-Xavier Rampon
Electronic Notes in Discrete Mathematics : special issue (ICGT'05) 22: 383-386.
- A musical overconstrained CSP and its cost-functions issues (2005).
Charlotte Truchet
Conference of the International Federation of Operational Research Societies (IFORS'05),
- gcc-like Restrictions on the Same Constraint (2005).
Nicolas Beldiceanu
Irit Katriel
Sven Thiel
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'04), Lecture Notes in Computer Science 3419: 1-11.
- Tearing Customers Apart for solving PSP-SOS (2005).
Charlotte Truchet
Jérémie Bourdon
Philippe Codognet
IJCAI'05 Constraint Modelling Challenge Entry, Edinburgh, Great Britain.
- 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.
- How to solve allocation problems with constraint programming (2005). [paper]
Pierre-Emmanuel Hladik
Hadrien Cambazard
Anne-Marie Déplanche
Narendra Jussien
Work In Progress of the 17th Euromicro Conference on real time systems (ECRTS'05), Palma de Mallorca, Spain. pp. 25-28.
- Constraint Programming for Software Engineering (2005). [paper]
Narendra Jussien
5th Congress of Logic applied to Technology (LAPTEC'05), Himeji, Japan.
- Explanation-based constraint programming (2005).
Narendra Jussien
2nd Franco-Japanese Workshop on Constraint Programming (FJCP'05), Le Croisic, France.
- 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.
- Algorithmes Optimaux et Sous-optimaux de Singleton Consistance d'Arc (2005).
[hal]
Christian Bessière
Romuald Debruyne
1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France. pp. 277-286.
- 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.
- 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.
- 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.
- Le problème de construction de tournées avec gestion de stocks : résolution par la méthode GRASP (2005).
Émilie Grellier
Pierre Dejax
Yazid Mati
6ème congrès de la société Fran\c{c}ais de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'05), Tours, France. pp. 193-194.
2004
- From Constraints to Finite Automata to Filtering Algorithms (2004). [paper]
Mats Carlsson
Nicolas Beldiceanu
European Symposium on Programming (ESOP'04), Lecture Notes in Computer Science 2986: 94-108.
- 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.
- Multiplex dispensation order generation for pyrosequencing (2004). [paper]
Mats Carlsson
Nicolas Beldiceanu
CP'04 Workshop on CSP Techniques with Immediate Application,
- Optimal and Suboptimal Singleton Arc Consistency Algorithms (2004). [paper]
Christian Bessière
Romuald Debruyne
CP'04 Workshop on Constraint Propagation and Implementation, Toronto, Canada.
- Theoretical Analysis of Singleton Arc Consistency (2004). [paper]
Christian Bessière
Romuald Debruyne
ECAI'04 Workshop on Modelling and Solving Problems with Constraints, Valencia, Spain. pp. 20-29.
- 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.
- Cumulated Profiles of Minimum and Maximum Resource Utilisation (2004).
Nicolas Beldiceanu
Emmanuel Poder
9th International Workshop on Project Management and Scheduling (PMS'04),
- 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.
- Dispensation order generation for pyrosequencing (2004).
Mats Carlsson
Nicolas Beldiceanu
2nd Asia Pacific Bioinformatics Conference, vol. 29.
- Conception d'une contrainte globale de chemin (2004).
[url]
Hadrien Cambazard
Eric Bourreau
10èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04), Angers, France. pp. 107-121.
- 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.
- La contrainte Periode (2004).
Nicolas Beldiceanu
Emmanuel Poder
13èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'04), Angers, France.
2003
- Dynamic constraint solving (2003).
[url]
Gérard Verfaillie
Narendra Jussien
9th International Conference on Principles and Practice of Constraint Programming (CP'03), Kinsale, County Cork, Ireland.
- Combining Constraint Programming and Local Search to Design New Powerful Heuristics (2003). [paper]
Narendra Jussien
Olivier Lhomme
5th Metaheuristics International Conference (MIC'03), Kyoto, Japan.
- 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.
- 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.
- 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.
- Solving dynamic RCPSP using explanations-based constraint programming (2003).
[hal]
[paper]
Abdallah Elkhyari
Christelle Guéret
Narendra Jussien
6th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP'03), Aussois, France. pp. 119-120.
- Un CSP comme comportement d'agent. Application à la résolution d'équations en physique des milieux granulaires (2003). [paper]
Laurent Breton
Narendra Jussien
9èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'03), Amiens, France. pp. 99-113.
- 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.
- Une contrainte stretch expliquée (2003). [paper]
Guillaume Rochart
Narendra Jussien
9èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'03), Amiens, France. pp. 309-323.
- L'enseignement de la programmation logique à l'École des Mines de Nantes (2003). [paper]
Narendra Jussien
12èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'03), Amiens, France. pp. 63-75.
- Explications k-relevantes pour la programmation par contraintes (2003). [paper]
Samir Ouis
Narendra Jussien
Patrice Boizumault
12èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'03), Amiens, France. pp. 111-124.
- Réservation en ligne avec reroutage de demandes de connexions dans les réseaux ATM (2003).
Samir Loudni
Patrice Boizumault
Philippe David
12èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'03), Amiens, France. pp. 169 - 182.
- Coopération d'algorithmes de Recherche Locale : Application à la résolution du problème de construction d'emploi du temps (2003).
Mohamed Tounsi
Philippe David
5ème congrès de la société française de recherche opérationnelle et d'aide à la décision (ROADEF'03), Avignon, France.
- Utilisation de la programmation par contraintes pour résoudre le RCPSP dynamique et quelques extensions (2003).
Abdallah Elkhyari
Christelle Guéret
Narendra Jussien
5ème congrès de la Société Fran\c{c}aise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'03), Avignon, France. pp. 97-98.
- Programmation par contraintes pour les technologies logicielles (2003). [paper]
Narendra Jussien
Colloque l'industrie du logiciel -- outils et méthodologies (GEMSTIC'03), Paris, France.
2002
- Local search algorithms to improve local search (2002).
Mohamed Tounsi
Philippe David
14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'02), Washington DC, USA. pp. 438.
- 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.
- 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.
- 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.
- Towards a New Local Search Algorithms Cooperation: An application to Solve Examination Timetabling Problems (2002).
Mohamed Tounsi
Philippe David
CP'02 2nd Workshop on Cooperative Solvers in Constraint Programming (COSOLV'02), Ithaca, USA.
- A repair based approach for planning connection demands in ATM networks (2002).
Samir Loudni
Patrice Boizumault
Philippe David
CP'02 4th Workshop on Soft Constraints (Soft'02), Ithaca, NY.
- 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
1st AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), Enschede, The Netherlands.
- 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.
- Explanation-based repair techniques for solving dynamic scheduling problems (2002). [paper]
Abdallah Elkhyari
Christelle Guéret
Narendra Jussien
Workshop on On-line Planning and Scheduling (AIPS'02), Toulouse, France.
- Vers une unification des algorithmes de résolution de CSP (2002). [paper]
Narendra Jussien
Olivier Lhomme
8èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'02), Nice, France. pp. 155-168.
- Explications conviviales pour la programmation par contraintes (2002). [paper]
Samir Ouis
Narendra Jussien
Olivier Lhomme
11èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'02), Nice, France. pp. 105-118.
- 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.
2001
- Successive Search Method for Valued Constraint Satisfaction and Optimization Problems (2001).
Mohamed Tounsi
Philippe David
13th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'01), Dallas, USA.
- 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.
- Visual and Adaptive Constraint Programming in Music (2001).
Charlotte Truchet
Gérard Assayag
Philippe Codognet
(ICMC'01),
- 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.
- 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.
- Allocation de ressources en réseaux ATM: une approche hybride (2001).
Muriel Lauvergne
Philippe David
Patrice Boizumault
7èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), Toulouse, France.
- Quelques explications pour les patrons ou une utilisation de la PPC avec explications pour l'identification de patrons de conception (2001). [paper]
Yann-Ga\"{e}l Guéhéneuc
Narendra Jussien
7èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), Toulouse, France. pp. 111-122.
- Programmation par contraintes avec explications (2001). [paper]
Narendra Jussien
7èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), Toulouse, France. pp. 147-158.
- Generalization of constructive disjunction for over-constrained problems (2001).
[url]
Thierry Petit
Jean-Charles Régin
Christian Bessière
INFORMS International Meeting, Miami, USA.
- Recherche locale et propagation de contraintes pour résoudre les problèmes d'Open-Shop (2001). [paper]
Narendra Jussien
3èmes journées francophones de Recherche Opérationnelle (Francoro III/Roadef 2001), Québec, Canada.
- 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
- 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.
- 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.
- The path-repair algorithm (2000).
[hal]
[doi]
[paper]
Narendra Jussien
Olivier Lhomme
CP'99 Workshop on Large scale combinatorial optimisation and constraints, Alexandria, VA, USA. Electronic Notes in Discrete Mathematics 4
- Sweep as a generic pruning technique (2000).
Nicolas Beldiceanu
CP'00 Workshop on Techniques foR Implementing Constraint programming (TRICS), Singapore.
- 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.
- Cumulative constraint for trapezoid resource requirement (2000).
Emmanuel Poder
Nicolas Beldiceanu
17th International Symposium on Mathematical Programming (ISMP'00), Atlanta, USA.
- 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.
- Loading aircrafts for military operations (2000). [paper]
Christelle Guéret
Narendra Jussien
Olivier Lhomme
Claire Pavageau
Christian Prins
1st International Workshop on Freight Transportation and Logistics (ODYSSEUS'00), Chania, Crete.
- Maintien de la consistance d'arc dans Dynamic Backtracking (2000). [paper]
Narendra Jussien
Romuald Debruyne
Patrice Boizumault
6èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'00), Marseille, France. pp. 135-149.
- 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.
- Chargement d'avions dans le cadre d'une projection de forces (2000). [paper]
Christelle Guéret
Narendra Jussien
Olivier Lhomme
Claire Pavageau
Christian Prins
3ème congrès de la Société Fran\c{c}aise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'00), Nantes, France.
1999
- A strong local consistency for constraint satisfaction (1999).
Romuald Debruyne
11th International Conference on Tools with Artificial Intelligence (ICTAI'99), Chicago, Ill, USA. pp. 202-209.
- 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.
- Improving branch and bound algorithms for Open Shop problems (1999). [paper]
Narendra Jussien
Christelle Guéret
Conference of the International Federation of Operational Research Societies (IFORS'99), Beijing, China.
- The path-repair algorithm (1999). [paper]
Narendra Jussien
Olivier Lhomme
CP'99 Workshop on Large scale combinatorial optimisation and constraints, Alexandria, VA, USA.
- A repair algorithm for allocating resources in a mobile telephone network (1999).
Patrice Boizumault
Philippe David
Housni Djellab
(PACLP'99), London, UK. pp. 491-501.
- L'algorithme Path-Repair (1999). [paper]
Narendra Jussien
Olivier Lhomme
5èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'99), Lyon, France.
- Allocation de ressources dans un réseau de téléphonie mobile: une approche à base de contraintes (1999).
Patrice Boizumault
Philippe David
Housni Djellab
2ème congrès de la société française de recherche opérationnelle et d'aide à la décision (ROADEF'99), Autrans, France.
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.
- Parallel machine scheduling with calendar rules (1998).
Nicolas Beldiceanu
6th International Workshop on Project Management and Scheduling (PMS'98), Istanbul, Turkey.
- 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.
- Procédures de Séparation-Évaluation -- Une alternative au retour-arrière -- Application au problème d'Open-Shop (1998).
[hal]
[paper]
Narendra Jussien
Christelle Guéret
7èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'98), Nantes, France. pp. 231-250.
1997
- A Best First approach for solving over-constrained dynamic problems (1997). [paper]
Narendra Jussien
Patrice Boizumault
International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan.
- A Constraint-based approach for examination timetabling using local repair techniques (1997).
Philippe David
2nd International Conference on the Practice And Theory of Automated Timetabling (PATAT'97), Toronto, Canada. pp. 132-145.
- 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.
- Stratégies en Meilleur d'abord pour la relaxation de contraintes (1997). [paper]
Narendra Jussien
Patrice Boizumault
6èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'97), Orléans, France. pp. 149-165.
1996
1995
1994
1993
1992
1990
1988
1987
W3C: XHTML - last update: 2013-07-26. SD.