Topic: others
- Prediction of Parallel Speed-ups for Las Vegas Algorithms (2013).
Charlotte Truchet
Florian Richoux
Philippe Codognet
2013 International Conference on Parallel Processing (ICPP'13),
- 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.
- 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
- 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.
- Trends in Constraint Programming (2007).
[hal]
[url]
Frédéric Benhamou
Narendra Jussien
Barry O'Sullivan
ISTE, ISBN 1905209975.
- A to Z of sudoku (2007).
[url]
Narendra Jussien
ISTE, ISBN 978-1-84704-000-8.
- Logique(s), langages formels et complexité pour l'informatique (2006).
[hal]
[url]
Narendra Jussien
Hermes Science, ISBN 2746213958.
- 12th International Conference on Principles and Practice of Constraint Programming (CP'06) (2006).
[hal]
Proceedings, Frédéric Benhamou (ed.),
- Deterministic systems of sequential processes: theory and tools (1988).
Younes Souissi
Nicolas Beldiceanu
Concurrency'88, Lecture Notes in Computer Science 335: 380-400.
- AMI an Extensible Petri Nets Interactive Workshop (1988).
Jean-Marc Bernard
Jean-Luc Mounier
Nicolas Beldiceanu
Serge Haddad
9th European Workshop on Application and Theory of Petri Nets, Venice, Italy.
the following publications are not yet tagged
- Propagation Engine Prototyping with a Domain Specific Language (2013).
Charles Prud'homme
Xavier Lorca
Rémi Douence
Narendra Jussien
Constraints, to appear
- Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems (2013).
[url]
Mohamed Wahbi
Wiley-ISTE, ISBN 978-1-84821-594-8.
- 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),
- An Optimal Constraint Programming Approach to the Open-Shop Problem (2012).
[doi]
[url]
Arnaud Malapert
Hadrien Cambazard
Christelle Guéret
Narendra Jussien
André Langevin
Louis-Martin Rousseau
INFORMS Journal on Computing -(24): 228 - 244.
- 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12) (2012).
[doi]
Editors: Nicolas Beldiceanu
Narendra Jussien
Eric Pinson
, Nantes, France. Lectures Notes in Computer Science 7298
- Problemes d'optimisation sur des séquences (2012).
Thierry Petit
8emes Journees Francophones de Programmation par Contraintes (JFPC'12), Toulouse, France. pp. 3--3.
- Improving Inter-Block Backtracking with Interval Newton (2010).
[doi]
[paper]
Bertrand Neveu
Gilles Trombettoni
Gilles Chabert
Constraints 15(1): 93-116.
- Light Algorithms for Maintaining Max-RPC During Search (2009).
[hal]
[url]
Julien Vion
Romuald Debruyne
8th Symposium on Abstraction, Reformulation and Approximation (SARA'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.
- 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.
- On the Clique Partition of Rectangle Graphs (2009). [paper]
Gilles Chabert
Xavier Lorca
Technical report 09-03-INFO, École des Mines de Nantes.
- Programmation par Contraintes (2008).
[hal]
[url]
Nicolas Beldiceanu
École jeunes chercheurs en programmation.
- 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.
- 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)
- 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.
- Hybrid Optimization Techniques (2004).
Narendra Jussien and François Laburthe (ed.), Annals of Operations Research 130 Kluwer, ISSN 0254 5330, Special Issue following CPAIOR'02.
- 10èmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04) (2004).
[url]
Proceedings, Narendra Jussien (ed.), Angers, France.
- 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.
- 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.
- Dynamic constraint solving (2004).
Narendra Jussien
Séminaire du National Institute for Informatics (Tokyo, Japan).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Outils d'aide à la décision pour des problèmes d'ordonnancement dynamiques (2003).
Abdallah Elkhyari
PhD Thesis, Université de Nantes.
- Outils de mise au point pour la programmation par contraintes (2003).
Samir Ouis
PhD Thesis, Université de Nantes.
- The versatility of using explanations within constraint programming (2003).
[hal]
Narendra Jussien
Habilitation thesis of Université de Nantes.
- Contraintes Globales: Aspects Algorithmiques et Déclaratifs (2003).
[slides]
Nicolas Beldiceanu
Habilitation thesis of Université Paris 6.
- Explanation-based repair techniques for constraint programming (2003). [paper]
Narendra Jussien
Romuald Debruyne
Technical report D3.2.3, Projet OADymPPaC.
- Explanations for global constraints: instrumenting the stretch constraint (2003). [paper]
Guillaume Rochart
Narendra Jussien
Technical report 03-01-INFO, École des Mines de Nantes.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Modélisation et algorithmes de résolution des problèmes sur-contraints (2002). [paper]
Thierry Petit
PhD Thesis, LIRMM-Université de Montpellier II.
- 4th international workshop on integration of AI and OR techniques in Constraint Programming for combinatorial optimisation problems (CPAIOR'02) (2002).
Proceedings, Narendra Jussien and François Laburthe (ed.), Le Croisic, France.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Visual and Adaptive Constraint Programming in Music (2001).
Charlotte Truchet
Gérard Assayag
Philippe Codognet
(ICMC'01),
- 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.
- 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.
- Programmation par Contraintes avec Explications (2001). [paper]
Narendra Jussien
Journée Contraintes et Règles de l'Association Française pour la Programmation Logique et la programmation par Contraintes. Invité par Arnaud Lallouet et Gérard Ferrand.
- 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.
- 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.
- 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.
- 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
- 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.
- 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.
- 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.
- Explanations for constraint solvers (1999). [paper]
Narendra Jussien
Séminaire prospectif sur le débogage de contraintes. Invité par Pierre Deransart..
- Explications et Programmation par contraintes (1999). [paper]
Narendra Jussien
Séminaire de l'Equipe LANDE, IRISA (Rennes). Invité par Erwan Jahier.
- A constraint-based approach for examination timetabling using local repair techniques (1998).
Philippe David
In Practice and Theory of Automated Timetabling, Lecture Notes in Computer Science 1408: 169-186. E. K. Burke and M. W. Carter (ed.),
- Etude des consistances locales pour les problèmes de satisfaction de contraintes de grande taille (1998).
[url]
Romuald Debruyne
PhD Thesis, LIRMM-Université de Montpellier II.
- 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.
- 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.
- Systèmes dynamiques et Relaxation (1998). [paper]
Narendra Jussien
Journée Contraintes dynamiques, réactivité, interactivité de l'Association Française pour la Programmation Logique et la programmation par Contraintes. Invité par Philippe Codognet et Patrice Boizumault.
- Affectation des candidats aux jurys d'admission à l'École des Mines de Nantes (1998).
Philippe David
Séminaire AFPLC, thème ``La Programmation par Contraintes et les Emplois du Temps'', Orsay.
- 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.
- 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.
- 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.
- 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.
- A constraint relaxation system: DECorum (1997).
Narendra Jussien
Groupe de travail "Programmation en Logique" de l'AFCET (ALP France). Invité par les acteurs du projet ESPRIT (LTR) DiSCiPl (Debugging systems for Constraint Programming).
- Méthodes de réparation pour l'affectation de jurys d'examen (1997).
Philippe David
Réunion de l'axe ``Algorithmes''(1.2) du Gdr I3, Montpellier.
- Dynamic Backtracking with Constraint Propagation (1997). [paper]
Narendra Jussien
Olivier Lhomme
Patrice Boizumault
Journée du P\^{o}le Contraintes et Programmation Logique, GDR Programmation du CNRS.
- Contribution à l'étude des systèmes dynamiques de contraintes - résolution de problèmes sur-contraints (1997).
Narendra Jussien
Séminaire du CREAM (Laboratoire de Recherche de l'Institut de Mathématiques Appliquées). Invité par Éric Pinson.
- 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.
- CSP dynamiques et Relaxation de Contraintes (1996). [paper]
Narendra Jussien
Patrice Boizumault
2ème Conférence Nationale sur la résolution pratique de Problèmes NP-Complets (CNPC'96), Dijon, France. pp. 135-149.
- Maintien de Déduction pour la Relaxation de Contraintes (1996). [paper]
Narendra Jussien
Patrice Boizumault
5èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'96), Clermont-Ferrand, France. pp. 239-253.
- 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.
- Relaxation de Contraintes en PLC (1996).
Narendra Jussien
Séminaire du CREAM (Laboratoire de Recherche de l'Institut de Mathématiques Appliquées). Invité par Éric Pinson.
- Une sémantique opérationnelle pour la relaxation de contraintes (1996). [paper]
Narendra Jussien
Patrice Boizumault
Journée du P\^{o}le Contraintes et Programmation Logique, GDR Programmation du CNRS.
- 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.
- Building University timetables using Constraint Logic Programming (1995).
[hal]
[paper]
Christelle Guéret
Narendra Jussien
Patrice Boizumault
Christian Prins
1st International Conference on the Practice and Theory of Automated Timetabling (ICPTAT'95), Edinburgh, United Kingdom. pp. 393-408.
- Autour du problème de satisfaction de contraintes (1995).
Projet PRC-IA CSP Flexibles (19 membres)
Cinquièmes journées nationales PRC-GDR IA.
- 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.
- La consistance de pivot, un filtrage efficace pour les CSP fonctionnels (1994).
Philippe David
9ème Congrès en Reconnaissance des Formes et Intelligence Artificielle (RFIA'94), Paris, France. pp. 421-431.
- Énumération et relaxation en Programmation Logique avec Contraintes (1994).
Patrice Boizumault
Christelle Guéret
Narendra Jussien
Rencontres sur la résolution pratique des problèmes NP-complets, Montpellier, France.
- Prise en compte de la sémantique dans les problèmes de satisfaction de contraintes : Étude des contraintes fonctionnelles (1994).
Philippe David
PhD Thesis, Université Montpellier II.
- Relaxation de contraintes -- études et perspectives (1994).
Narendra Jussien
Master Thesis, Institut de Mathématiques Appliquées, Angers, France.
- DnAC-6 (1994).
Romuald Debruyne
Technical report 94-054, LIRMM-Université de Montpellier II.
- When functional and bijective constraints make a CSP polynomial (1993).
Philippe David
13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, France. pp. 224-229.
- Variations en Programmation Logique sous Contraintes (1993).
Narendra Jussien
Master Thesis, Institut de Mathématiques Appliquées, Angers, France.
- Programmation Logique sous Contraintes et Problèmes d'ordonnancements (1993).
Narendra Jussien
Petit séminaire de l'IRISA (Rennes). Invité par Yves Bekkers.
- Quelques propriétés des consistances d'arc et de chemin pour deux classes de CSP (1992).
Philippe David
1ères Rencontres Nationales des Jeunes Chercheurs en I.A., Rennes, France. pp. 232-241.
- NEREIS: un système expert de reconnaissance d'Annélides Polychètes (1992).
Narendra Jussien
Vincent Verger
Patrick Gillet
Yvon L'Hospitalier
Bernard Augereau
4ème Conférence Internationale sur les Annélides Polychètes, Angers, France.
- 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.
- NEREIS: Système expert de reconnaissance d'Annélides Polychètes (1992).
Narendra Jussien
Vincent Verger
Master Thesis, Institut de Mathématiques Appliquées, Angers, France.
- Représentation et traitement pratique de la flexibilité dans les problèmes sous contraintes (1992).
Projet PRC-IA CSP Flexibles (19 membres)
4èmes journées nationales PRC-GDR IA, Marseille. pp. 369-428.
W3C: XHTML - last update: 2013-07-26. SD.