[html] [ps] [pdf] [texte]

Programme des JNPC'2002

Huitièmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets


Nice - 27 au 29 mai 2002


 

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