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