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