JNPC'00 Marseille, France


Présentations invitées

Philippe Balbiani
"Représentation logique et traitement algorithmique de l'espace et du temps"
Click for PostScript version balbiani.ps

Thomas Schiex
"Réseaux de contraintes valuées"
Click for PostScript version schiex_a.ps


Sessions techniques

Jérôme Amilhastre, Hélène Fargier, Pierre Marquis
"Explications et aide à la restauration de la cohérence dans les CSP interactifs : application à la configuration"
Click for PostScript version amilhastre.ps

Gilles Audemard, Laurent Henocque
"Sur la génération de groupes finis non isomorphes"
Click for PostScript version audemard.ps

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
"Arbres de preuves minimaux de formules irredondantes"
Click for PostScript version bailleux.ps

Mériéma Bélaidouni, Jin-Kao Hao
"Mesure de qualité des processus de recherche locale stochastique"
Click for PostScript version belaidouni.ps

Arnaud Berny, Olivier Sarzeaud
"Optimisation de réseaux de radiotéléphonie mobile par recherche locale et sélection"
Click for PostScript version berny.ps

Philippe Chatalic, Laurent Simon
"Résolution sur des ensembles de clauses compressés : comment doper DP"
Click for PostScript version chatalic.ps

Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher
"Résolution par contraintes de systèmes géometriques rigides"
Click for PostScript version jermann.ps

Narendra Jussien, Romuald Debruyne, Patrice Boizumault
"Maintien de la consistance d'arc dans dynamic backtracking"
Click for PostScript version jussien.ps

François Laburthe, le projet Ocre
"Choco : implémentation du noyau d'un système de contraintes"
Click for Word version laburthe.doc

Chu Min Li
"Intégration d'un raisonnement d'équivalence dans la procédure Davis-Putnam"
Click for PostScript version li_a.ps

Chu Min Li, Gérard Sylvain
"A propos des règles de branchement pour les problèmes 3-SAT aléatoires insatisfiables et difficiles"
Click for PostScript version li_b.ps

Nicolas Prcovic, Bertrand Neveu
"Recherche à focalisation progressive"
Click for PostScript version prcovic.ps

Thomas Schiex
"Cohérence d'arc pour contraintes molles"
Click for PostScript version schiex_b.ps

A. Sidaner, J.J. Chabrier, O. Bailleux
"Vers une quantification de la notion d'attraction en recherche locale stochastique"
Click for PostScript version sidaner.ps

Michel Vasquez, Jin-Kao Hao
"Une approche hybride pour le sac à dos multidimensionnel en 0-1"
Click for PostScript version vasquez.ps


Résumés des présentations "jeunes chercheurs"

Laure Brisoux Devendeville, Lakhdar Saïs, Eric Grégoire
"Recherche locale : vers une exploitation des propriétés structurelle"
Click for PostScript version brisoux.ps

Zineb Habbas, Michael Krajecki, Daniel Singer
"Décomposition de CSP pour la résolution parallèle"
Click for PostScript version habbas.ps

Thierry Petit
"Méta-contraintes pour la modélisation des problèmes sur-contraints"
Click for PostScript version petit.ps

Mohamed Tounsi, Philippe David
"Méthode de recherches successives pour la résolution des problèmes d'optimisation"
Click for PostScript version tounsi.ps

Mathieu Veron
"Discussion et traitements des DCSP pour la configuration"
Click for PostScript version veron.ps