|
|
|
|---|
| Lundi 27 Mai |
|---|
|
|---|
|
|
| 9h - 10h | Accueil |
|
|
|
|---|
| 10h - 11h | Conférence invitée (JFPLC) (Session commune JFPLC-JNPC) |
| Président : L. Granvilliers |
| 10h - 11h | - Du filtrage optimal à la stabilité parfaite |
| Pascal Van Hentenryck
|
|
|---|
|
|
|
|
|
|---|
| 11h30 - 13h | SAT (30mn par article) |
| Président : A. Rauzy |
| 11h30 - 12h | - Une bibliothèque C++ pour le codage CNF de contraintes arithmétiques |
| Olivier Bailleux
|
| 12h - 12h30 | - Caractérisation de problèmes SAT à l'aide de la propriété de la convexité par ligne |
| Hachemi Bennaceur et Chu Min Li
|
| 12h30 - 13h | - Une approche hybride pour SAT |
| Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez et Jean-Luc Guérin
|
|
|---|
|
|
|
|
|
|---|
| 14h30 - 16h | CSP & SAT (30mn par article) |
| Président : B. Neveu |
| 14h30 - 15h | - Quelques variantes de LDS |
| Nicolas Prcovic
|
| 15h - 15h30 | - Le moindre engagement dans une approche de la planification basée sur la procédure de Davis et Putnam |
| Vincent Vidal
|
| 15h30 - 16h | - Des classes polynomiales pour l'abduction en logique propositionnelle |
| Bruno Zanuttini
|
|
|---|
|
|
|
|
|
|---|
| 16h30 - 18h | Optimisation (30mn par article) |
| Président : M. Vasquez |
| 16h30 - 17h | - Un algorithme hybride pour le problème de sac à dos multi-objectifs |
| Vincent Barichard et Jin-Kao Hao
|
| 17h - 17h30 | - Un modèle dynamique de trafic pour le problème d'affectation de fréquences |
| Hakim Mabed, Alexandre Caminada et Jin-Kao Hao
|
| 17h30 - 18h | - Filtrage par arc-consistance et recherche tabou pour l'allocation de fréquences avec polarisation |
| Michel Vasquez et Audrey Dupont
|
|
|---|
|
|
|
|
|
|
|
|---|
| Mardi 28 Mai |
|---|
|
|---|
|
|
|
|---|
| 9h - 10h | Conférence invitée (JNPC) (Session commune JFPLC-JNPC) |
| Président : J.K. Hao |
| 9h - 10h | - Génomique et optimisation combinatoire |
| Alain Guénoche
|
|
|---|
|
|
|
|
|
|---|
| 10h30 - 12h30 | Applications (Session commune JFPLC-JNPC) (30mn par article) |
| Président : G. Trombettoni |
| 10h30 - 11h | - La plate-forme iOpt dédiée au développement des systèmes d'optimisation basés sur les méthodes heuristiques |
| Raphaël Dorne, Christos Voudouris, David Lesaint, Anne Liret et Cédric Ladde
|
| 11h - 11h30 | - Résolution d'un problème de conception de réseau avec Parallel Solver |
| Raphaël Bernard, Jacques Chambon, Claude Lepape, Laurent Perron et Jean-Charles Régin
|
| 11h30 - 12h | - Coopération entre génération de colonnes avec tournées sans cycle et recherche locale appliquée au routage de véhicules |
| Alain Chabrier, Emilie Danna et Claude Le Pape
|
| 12h - 12h30 | - Modélisation de systèmes biologiques en programmation conccurente par contraintes hybrides |
| Alexander Bockmayr et Arnaud Courtois
|
|
|---|
|
|
|
|
|
|---|
| 14h - 16h | CSP & SAT (Session commune JFPLC-JNPC) (30mn par article) |
| Président : C. Bessière |
| 14h - 14h30 | - Recherche arborescente bornée |
| Philippe Jégou et Cyril Terrioux
|
| 14h30 - 15h | - Representation of soft constraints by hard constraints |
| J.C. Régin, J.F Puget et Thierry Petit
|
| 15h - 15h30 | - Techniques de simplification de formule CNF |
| Richard Ostrowski , Eric Grégoire, Bertrand Mazure et Lakhdar Sa&iunl;s
|
| 15h30 - 16h | - Amortized non-systematic search algorithms |
| Olivier Lhomme
|
|
|---|
|
|
| 16h15 - | Départ pour la visite de Saint Paul de Vence |
|
|
| 20h - | Repas à Saint Paul de Vence |
|
|
|
|
|
|---|
| Mercredi 29 Mai |
|---|
|
|---|
|
|
|
|---|
| 9h - 10h | Algorithme stochastique et complexité (30mn par article) |
| Président : T. Schiex |
| 9h - 9h30 | - Connexions entre complexité descriptive et programmation logique par contraintes |
| Lucas Bordeaux et Eric Monfroy
|
| 9h30 - 10h | - Complexité de la détection de rigidité dans les systèmes de contraintes géométriques |
| Christophe Jermann et Gilles Trombettoni
|
|
|---|
|
|
|
|
|
|---|
| 10h30 - 12h | CSP (30mn par article) |
| Président : A. Aggoun |
| 10h30 - 11h | - La famille ABT |
| Christian Bessière, Arnold Maestre et Pedro Meseguer
|
| 11h - 11h30 | - Vers une unification des algorithmes de résolution de CSP |
| Narendra Jussien et Olivier Lhomme
|
| 11h30 - 12h | - Une comparaison des cohérences d'arc dans les Max-CSP |
| Thomas Schiex
|
|
|---|
|
|
|
|
|
|---|
| 13h40 - 15h | Papiers courts (Jeunes chercheurs) (20mn par article) |
| Président : C.M. Li |
| 13h40 - 14h | - La densité de coùt de processus : une mesure de performance |
| Mériéma Bélaidouni et Jin-Kao Hao
|
| 14h - 14h20 | - Une procédure par évaluation et séparation basée sur une analyse max-plus du flowshop |
| Christophe Lenté, Jean-Charles Billaut et Jean-Louis Bouquard
|
| 14h20 - 14h40 | - Intégration d'un raisonnement sur les symétries dans une procédure DPLL |
| Chu Min Li, Bernard Jurkowiak, et Paul W. Purdom Jr.
|
| 14h40 - 15h | - Approche par programmation linéaire pour la résolution du problème sur une machine avec dates d'arrivées des travaux |
| Chérif Sadfi, Bernard Penz et Hacène Azzoug
|
|
|---|
|
|
| 15h - 16h | Discussion sur la fusion des JFPLC et JNPC |
|
|
|
|