Sixièmes Journées Francophones de Programmation par Contraintes (JFPC 2010)

Il n'y aura pas de sessions parallèle, d'où la densité des journées. Les posters seront affichés à l'endroit où auront lieu les pauses.

Mercredi 9 juin

• 8 h 15 - 9 h : accueil
• 9 h - 10 h : Exposé invité, modérateur Yves Deville
  • Helmut Simonis
    Improving Constraint Modelling Using Visualization
• 10 h - 10 h 30 : pause
• 10 h 30 - 12 h 10 : session SAT, modérateur Chumin Li
  • Belaïd Benhamou, Tarek NABHANI and Richard Ostrowski.
    Enhancing clause learning by symmetry in SAT solvers
  • Belaïd Benhamou, Tarek NABHANI, Richard Ostrowski and Mohamed Réda Saïdi.
    Dynamic symmetry detection and elimination in the satisfiability problem
  • gilles audemard, Georgios Katsirelos and Laurent Simon.
    A Restriction of Extended Resolution for Clause Learning SAT Solvers
  • Nicolas Prcovic.
    Réparation locale de réfutation de formules SAT
• 12 h 10 - 14 h : repas
• 14 h - 15 h 40 : session Techniques de résolution, modérateur Bertrand Neveu
  • Matthieu Lopez, Lionel Martin and Arnaud Lallouet.
    Apprentissage de problèmes contraints
  • AMROUN Kamal and HABBAS Zineb.
    HD_DBT : Hypertree Decomposition pour la résolution des problèmes de satisfaction de contraintes basée sur un Dual Backtracking
  • Stéphane Grandcolas and Cyril Pain-Barre.
    D'un plan optimal parallèle vers un plan optimal séquentiel
  • Madjid Khichane, Christine Solnon and Patrick Albert.
    Intégration de l'algorithme d'optimisation par colonie de fourmis dans CP Optimizer
• 15 h 40 - 16 h 10 : pause
• 16 h 10 - 17 h 50 : session Applications et génération de tests, modérateur Sébastien Tabary
  • Isabelle Toulgoat, Pierre Siegel and Yves Lacroix.
    Simulation du comportement d'un opérateur en situation de combat naval
  • Le Vinh Nguyen, Hélène Collavizza, Michel Rueher, Samuel Devulder and Thierry Gueguen.
    Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples
  • Nikolai Kosmatov.
    Génération de tests « tous-les-chemins » : quelle complexité pour quelles contraintes ?
  • cedric pinto and stephane grandcolas.
    Un codage SAT pour les problèmes de placement
• 17 h 50 - 18 h 25 : Posters + discussion, modératrice Charlotte Truchet
  • Fabien Chhel, Frederic Lardeux and Frédéric Saubion.
    Caractérisations de souches bactériennes à l'aide de la logique propositionnelle
  • Sayah Mohamed and Lebbah Yahia.
    MLFP : Une approche locale de détection du débordement flottant
• 19 h 45 : banquet

Jeudi 10 juin

• 9 h - 10 h : Exposé invité, modérateur Frédéric Saubion
  • Michel Rueher
    Apports et Potentiels de la Programmation par Contraintes en Optimisation Globale sous Contraintes
• 10 h - 10 h 30 : pause
• 10 h 30 - 12 h 10 : session Techniques de filtrage, modérateur Arnaud Lallouet
  • Philippe Jégou and Cyril Terrioux.
    Une nouvelle technique de filtrage basée sur la décomposition de sous-réseaux de contraintes
  • Nicolas Beldicanu, Fabien Hermenier, Xavier Lorca and Thierry Petit.
    The Increasing Nvalue Constraint
  • Julien Dupuis, Pierre Schaus and Yves Deville.
    Vérification de consistence pour la contrainte de bin packing
  • Christine Solnon.
    AllDifferent-based Filtering for Subgraph Isomorphism
• 12 h 10 - 14 h : repas
• 14 h - 15 h 15 : session Modélisation, modérateur Gilles Trombettoni
  • Jean-Marc Astesana, Laurent Cosserat and Hélène Fargier.
    Modélisation par contraintes et exploitation d'une gamme automobile : nouveaux problèmes, nouvelles requêtes, nouveaux besoins en programmation par contraintes
  • Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier and Willy Lesaint.
    Une modélisation en CSP des grammaires de propriétés
  • Mehdi Khiari, Patrice Boizumault and Bruno Crémilleux.
    Modeling and Mining n-ary Patterns using Constraint Programming
• 15 h 15 - 15 h 45 : pause
• 15 h 45 - 17 h 00 : session Extensions de SAT, modérateur Gilles Audemard
  • Benoit Da Mota, Pascal Nicolas and Igor Stéphan.
    Une nouvelle architecture parallèle pour le problème de validité des QBF
  • Chumin Li, Felip Manyà, Zhe Quan and Zhu Zhu.
    R\'esolution exacte de MinSAT
  • Chumin Li and Zhe Quan.
    An Efficient Branch-and-Bound Algorithm based on MaxSAT for the Maximum Clique Problem
• 17 h : AG de l'AFPC
• 19 h : cocktail

Vendredi 11 juin

• 8 h 45 - 10 h 15 : session Logiciels libres, modérateur Bertrand Mazure
  • Pascal Vander-Swalmen
    MTSS (http://www.parallel-sat.net), un solveur pour machines multi-coeurs
  • Jérémie Vautard
    Qecode (http://www.univ-orleans.fr/lifo/software/qecode), un solveur de problèmes de contraintes quantifiées
  • Daniel Le Berre
    SAT4J (http://www.sat4j.org) et son utilisation dans Eclipse
• 10 h 15 - 10 h 35 : pause
• 10 h 35 - 11 h 50 : session Raisonnement sur les intervalles et nombres flottants, modératrice Christine Solnon
  • Belaid Mohammed Said, MICHEL Claude and RUEHER Michel.
    Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels
  • Ignacio Araya, Gilles Trombettoni and Bertrand Neveu.
    Exploitation de la monotonie des fonctions dans la propagation de contraintes sur intervalles
  • Ignacio Araya, Bertrand Neveu and Gilles Trombettoni.
    Une nouvelle extension de fonctions aux intervalles basée sur le groupement d'occurrences
• 11 h 50 - 12 h 40 : session Aspects théoriques, modérateur Bruno Zanuttini
  • Belaïd Benhamou, Tarek NABHANI and Pierre Siegel.
    Symmetry in non-monotonic logics
  • Jean-François Condotta, Souhila Kaci, Pierre Marquis and Nicolas Schwind.
    Une approche syntaxique pour le problème de la fusion de réseaux de contraintes qualitatives
• 12 h 40 : repas