==================================== Liste des articles acceptés aux JFPC ==================================== ------------------------------------------- Inférer et simuler un modèle biologique intervenant dans l'adhérence entre cellules Fabien Corblin, Eric Fanchon, Laurent Trilling ------------------------------------------- Trois valeurs de vérité pour les problèmes SAT et MAX-SAT Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao ------------------------------------------- Une autre conversion de SAT vers CSP Olivier ROUSSEL ------------------------------------------- Plus courts chemins dans un graphe planaire et création d'un réseau de route aérien thomas rivière, pascal brisset ------------------------------------------- Une approche symbolique pour les formules booléennes quantifiées Gilles Audemard, Lakhdar Saïs ------------------------------------------- Une inférence de supports pour les algorithmes de filtrage générique Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais ------------------------------------------- Une approche gloutonne pour établir la singleton consistance d'arc Christophe Lecoutre, Stephane Cardon ------------------------------------------- Résolution du problème de car-sequencing à l'aide d'une approche de type FC Simon Boivin, Marc Gravel, Michaël Krajecki, Caroline Gagné ------------------------------------------- Amélioration par apprentissage de la recherche à divergences limitées Wafa Karoui, Marie-José Huguet, Pierre Lopez, Wady Naanaa ------------------------------------------- Comprendre des Descriptions Simples à l'aide d'un Configurateur Mathieu Estratat, Laurent Henocque ------------------------------------------- Acquisition de Contraintes Ouvertes par Apprentissage de Solveur Andreï Legtchenko, Arnaud Lallouet ------------------------------------------- Complex Queries on Belief-Feasibility-Desire Networks Cedric Pralet, Gerard Verfaillie, Thomas Schiex ------------------------------------------- Advances in Polytime Isomorph Elimination for Configuration Laurent Hénocque, Mathias Kleiner, Nicolas Prcovic ------------------------------------------- Implémenter des contraintes globales expliquées Guillaume Rochart, Narendra Jussien ------------------------------------------- Déduction de sous-clauses grâce à l'étude du Graphe d'Implication Sylvain Darras, gilles dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs ------------------------------------------- Le problème des N-rois : une métaphore du problème d'ordonnancement des vols à l'arrivée Konstantin ARTIOUCHINE, Philippe Baptiste, Juliette Mattioli ------------------------------------------- Cohérence d'arc existencielle : un pas de plus vers la cohérence d'arc complète Matthias Zytnicki, Federico Heras, Simon de Givry, Javier Larrosa ------------------------------------------- Constraint Satisfaction Problems : Backtrack Search Revisited Assef Chmeiss, Lakhdar Sais ------------------------------------------- Des explications pour reconnaître et exploiter les structures cachées Hadrien Cambazard, Narendra Jussien ------------------------------------------- Deriving Filtering Algorihtms from Graph Properties Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart ------------------------------------------- IGC : Une nouvelle consistance partielle pour les CSPs continus Gilles CHABERT, Gilles TROMBETTONI, Bertrand NEVEU ------------------------------------------- La frontière entre CSP consistants et inconsistants Nicolas Prcovic ------------------------------------------- Un Système de Module Fermé pour la PLC Rémy Haemmerlé, François Fages ------------------------------------------- Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives Inès Mouakher, Francis Alexandre, Khaled Bsaïes ------------------------------------------- Des algorithmes vers les contraintes globales Diego Olivier Fernandez Pons ------------------------------------------- Solving MAX-CSP using Local search guided by Lagrangean Relaxation Mohand Ou Idir KHEMMOUDJ, Fayçal DJEROUROU, Hachemi BENNACEUR ------------------------------------------- Learning Implicit Global Constraints Christian Bessière, Rémi Coletta, Thierry Petit ------------------------------------------- Ordonnancement de véhicules: une approche par recherche locale à grand voisinage Bertrand Estellon, Frédéric Gardi, Karim Nouioua ------------------------------------------- Une Stratégie de Résolution Basée sur la Topologie des CSPs Continus Heikel Batnini, Michel Rueher, Claude Michel ------------------------------------------- Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes Philippe Jégou, Samba Ndiaye, Cyril Terrioux ------------------------------------------- Un compromis temps-espace pour la résolution de réseaux de contraintes par décomposition Philippe Jégou, Cyril Terrioux ------------------------------------------- Plus d'inférence et moins de recherche pour la résolution de problèmes de planification simples Vincent Vidal, Héctor Geffner ------------------------------------------- Un système de types pour CHR Emmanuel Coquery, François Fages ------------------------------------------- Using CHRs to generate functional test cases for the Java Card Virtual Machine Sandrine-Dominique GOURAUD, Arnaud GOTLIEB ------------------------------------------- Explication systématique des contraintes indexicales Ludovic Langevine ------------------------------------------- Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux. ELISE VAREILLES, KHALED HADJ-HAMOU, MICHEL ALDANONDO, PAUL GABORIT ------------------------------------------- Plasma, un nouvel algorithme basé sur la programmation dynamique Vincent Derrien, Jean-Michel Richer, Jin-Kao Hao ------------------------------------------- Réseaux de contraintes quantitatives périodiques Jean-François Condotta, G. Ligozat, S. Tripakis ------------------------------------------- Algorithmes d'élimination de quantificateurs pour les politiques Igor Stéphan ------------------------------------------- Une application de la configuration à la composition automatique de "workflows" Patrick Albert, Laurent Henocque, Mathias Kleiner ------------------------------------------- Optimal and Suboptimal Singleton Arc Consistency Algorithms Christian Bessière, Romuald Debruyne ------------------------------------------- Breaking symmetries in all different problems Jean-François Puget ------------------------------------------- ======================================= Liste des articles courts acceptés dans une session spéciale jeunes chercheurs ======================================= ------------------------------------------- Solving the Balanced Academic Curriculum Problem with an hybridization of genetic algorithms and constraint propagation Tony Lambert, Carlos Castro, Eric Monfroy, Maria Cristina Riff, Frédéric Saubion ------------------------------------------- Une nouvelle approche pour la détection et la résolution de conflits de sécurité dans les systèmes multi- organisationnels (Multi-OrBAC) Anas Abou Elkalam, Mina Ouabiba ------------------------------------------- Programmation par contraintes pour l'optimisation multicritère Diego Olivier Fernandez Pons ------------------------------------------- Problème de Satisfaction de Contraintes n-aire: une étude expérimentale Mihaela Butaru, Zineb Habbas ------------------------------------------- Voisinage d'arbre évolutif appliqué au problème Maximum Parcimonie Adrien Goëffon, Jean-Michel Richer, Jin-Kao Hao ------------------------------------------- Voisinage consistant sur des configurations partielles pour la résolution de problèmes réels de grande taille Djamal Habet, Audrey Dupont, Michel Vasquez -------------------------------------------