8.30-9.20 Accueil |
|
9.20-9.30 Ouverture |
|
9.30-10.30 Exposé invité modérateur
François Fages Pascal Schreck, Université Louis Pasteur de Strasbourg, Résolution des contraintes géométriques : des systèmes experts aux méthodes numériques |
|
10.30-11.00 Pause |
|
11.00-12.30 Inférence modérateur Yves Deville
Christophe Lecoutre, Stephane Cardon et Julien Vion. |
|
12.30-14.00 Déjeuner |
|
14.00-16.00 Contraintes
booléennes modérateur Gérard Verfaillie
Olivier Fourdrinoy, Eric Grégoire, Bertrand Mazure et Saïs Lakhdar. Suppression des clauses redondantes dans des instances SAT Daniel Le Berre et Anne Parrain. De l'extension de prouveurs SAT aux contraintes pseudo-booléennes Lionel Paris, Richard Ostrowski et Pierre Siegel. Des Ensembles Horn Strong Backdoor aux Ensembles Ordonné Strong Backdoor Lionel Paris, Djamal Habet et Belaid Benhamou. Voisinage Consistant Pour Le Problème De Satisfaisabilité |
14.00-16.00 Langages modérateur Sylvain Soliman
Iterated Expressions in Constraint Programming Mathieu Estratat et Laurent Henocque. Les grammaires de configuration : un cadre grammatical moderne Pierre Deransart, Gérard Ferrand et Mireille Ducassé. Une sémantique observationnelle du modèle des boîtes pour la résolution Prolog Marc Meister, Khalil Djelloul et Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic |
16.00-16.30 Pause |
|
16.30-18.00 Contraintes
quantifiées modérateur Lucas Bordeaux
Arnaud Lallouet, Marco Benedetti et Jeremie Vautard. Quantification restreinte : vers une utilisation pratique des QCSPs Igor Stéphan. Une (presque) génération automatique d'un compilateur de tables de vérité vers un solveur pour formules booléennes quantifiées prénexes Khalil Djelloul, Thi-Bich-Hanh Dao et Thom Fruehwirth. Extension au premier ordre de l'unification des termes par CHR |
16.30-18.00
Méthodes
hybrides modérateur Sophie Demassey
Eric Grégoire, Bertrand Mazure et Cédric Piette.Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS Remy-Robert Joseph, Laurent Linguet et Pascal Vaillant. Une approche réactive du problème d'arbre couvrant maximal basé sur l'algorithme de Kruskal Julien Vion. Hybridation de prouveurs CSP et Apprentissage |
18.15-19.15
Assemblée Générale
de l'AFPC |
9.00-10.00 Exposé
invité modérateur Charlotte Truchet Gilles Dowek, Ecole Polytechnique, Les contraintes de la logique |
|
10.00-10.30 Pause |
|
10.30-12.30 Contraintes
globales modérateur Christine Solnon
Sébastien Mouthuy, Yves Deville et Gregoire Dooms. Pierre Schaus, Yves Deville, Pierre Dupont et Jean-Charles Regin. The Deviation Constraint Global constraint for the set covering problem Gilles Trombettoni et Gilles Chabert. CID: disjonction constructive sur intervalles Emmanuel Poder et Beldiceanu Nicolas. Une Contrainte cumulative Multi-Ressources pour des Productions - Consommations de Ressources Continues Positives - Négatives |
|
12.30-14.00 Déjeuner |
|
14.00-16.00 Procédures de recherche modérateur Simon
de Givry
Samba Ndojh Ndiaye et Cyril Terrioux. Un schéma générique d'algorithmes énumératifs avec (no)good recording pour la résolution bornée de CSP Sebastien Tabary, Christophe Lecoutre, Vincent Vidal et Saïs Lakhdar. Recherche basée sur les états pour le problème de satisfaction de contraintes Tristan Cazenave. L'élargissement aléatoire progressif Jonathan Gaudreault, Jean-Marc Frayret et Gilles Pesant. Optimisation distribuée concurrente exploitant le retour-arrière basé sur les divergences |
|
16.00-16.30 Pause |
|
16.30-17.00 Symétries modérateur
Jean-Charles Régin Belaid Benhamou et Mohamed Réda Saïdi. Local Symmetry Breaking During Search in CSPs 17.00-18.00 Contraintes de temps Jean-Noël Monette, Yves Deville et Pierre Dupont. A Position-Based Propagator for the Open-Shop Problem Gérard Verfaillie, Cédric Pralet et Michel Lemaître. Modélisation à base de contraintes de systèmes dynamiques à événements discrets |
|
18.15-18.45 Concert et Animation musicale |
|
19.00 Départ en bus pour un banquet dans la
forêt de Rambouillet |
9.00-10.30 Applications I modérateur Michel
Rueher Diego Olivier Fernandez Pons. Méthodes simples de PPC pour un problème complexe de réseaux Bertrand Neveu, Gilles Trombettoni et Ignacio Araya. Un mouvement incrémental pour le problème du strip-packing Laurent Hénocque et Nicolas Prcovic. Fast Canonical Configuration Generation et Filtering |
9.00-10.30 Contraintes
de graphes modérateur Philippe Chatalic
Philippe Jégou, Samba Ndojh Ndiaye et Cyril Terrioux. Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentale Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin et Pierre Dupont. Filtering for Subgraph Matching Lorca Xavier et Beldiceanu Nicolas. Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins |
10.30-11.00 Pause |
|
11.00-12.30 Applications II modérateur Daniel Le
Berre Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche et Narendra Jussien. Deux approches pour la résolution d'un problème d'allocation de tâches en temps-réel dur Gregory Beaumet, Gerard Verfaillie et Marie-Claire Charmeau. Estimation des durées minimales de basculement pour un satellite d'observation agile autonome Alban Grastien et Anbulagan A. Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT |
11.00-12.30 Contraintes d'optimisation et de préférence
modérateur Narendra Jussien Yahia Lebbah, Claude Michel et Michel Rueher. Using constraint techniques for a safe and fast implementation of optimality-based reduction Brongniart Jérôme, Dhaenens Clarisse et El-Ghazali Talbi. Contraintes d'optimisation pour les problèmes d'arbres couvrants sous restrictions Mohand Ou Idir Khemmoudj et Hachemi Bennaceur. Bornes inférieures à base d'inégalités valides pour les WCSP |
12.30-14.00 Déjeuner |
|
14.00-17.30 Session Industrielle - Club
IliaTech modérateur François Fages 14.00-15.00 Exposé invité Thierry Benoist, Bouygues e-lab, La programmation par contraintes sur les chantiers de construction. 15.00-16.00 Table ronde et discussion avec
|
|
16.00-17.30 Posters, démonstrations, cocktail |