20 minutes par présentation : 15 minutes d'exposé et 5 minutes de questions
Lundi 27 juin 2022
Session 1 (9h-10h) : Résolution de CSP
Gilles Pesant, Claude-Guy Quimper et Hélène Verhaeghe : Échantillonnage de solutions pratiquement uniforme en programmation par contraintes.
Florian Régin, Elisabetta De Maria et Marie Pelleau : Résolution de problèmes dynamiques à l'aide du Model Checking.
Idir Boumbar, Elise Vareilles, Paul Gaborit and Xavier Lorca : Cadre expérimental pour l’évaluation de méthodes hybrides en configuration interactive sous contraintes.
Session 2 (10h30-12h) : Extension du formalisme CSP, contraintes globales
Dimitri Justeau-Allaire and Charles Prud'Homme : Vues de domaine globales.
Augustin Delecluse, Pierre Schaus and Pascal Van Hentenryck : Variables de Séquence pour les problèmes de tournée de vehicules.
Wijnand Suijlen, Felix de Framond, Arnaud Lallouet and Antoine Petitet : Un Algorithme Parallèle pour le Filtrage GAC de Alldifferent.
Steve Malalel, Victor Jung, Jean-Charles Regin et Marie Pelleau : Étude de la contrainte de produit.
Exposé invité 1 (13h30-14h30)
Tias Guns : Learning and Reasoning with Constraint Solving
Session 3 (14h45-16h15) : Apprentissage, fouille de données
Thomas Fournier, Arnaud Lallouet, Télio Cropsal, Gaël Glorian, Alexandre Papadopoulos, Antoine Petitet and Wijnand Suijlen : Réseaux de neurones antagonistes sur les graphes pour l'apprentissage d'une heuristique SAT.
Gaël Aglin, Siegfried Nijssen and Pierre Schaus : Évaluation des forêts optimales d'arbres de décision.
Amel Hidouri, Said Jabbour, Badran Raddaoui and Boutheina Ben Yaghlane : Fouille des motifs High Utility en SAT.
Aymeric Beauchamp, Thi-Bich-Hanh Dao, Christel Vrain and Samir Loudni : Intégration incrémentale de contraintes pour le clustering avec la programmation par contraintes.
Exposé invité 2 (16h45-17h45) (session commune à CNIA)
Pierre Deransart : 50 ans de Prolog, et après?
Mardi 28 juin 2022
Exposé invité 3 (9h-10h)
Chu-Min Li : Intégration du raisonnement SAT dans la résolution des problèmes difficiles
Session 4 (10h30-12h) : Max-SAT
Matthieu Py, Mohamed Sami Cherif and Djamal Habet : Certificats d'optimalité pour Max-SAT.
Matthieu Py, Mohamed Sami Cherif and Djamal Habet : Max-réfutations et oracles SAT.
Matthieu Py, Mohamed Sami Cherif and Djamal Habet : Explication de clauses et de formules dans Max-SAT.
Mohamed Sami Cherif, Djamal Habet and Matthieu Py : De la résolution à la max-résolution.
Session 5 (13h30-14h30) : Applications
Alexandre Bonlarron, Aurélie Calabrèse, Pierre Kornprobst et Jean-Charles Régin : Génération de texte sous contraintes pour mesurer des performances de lecture : Une nouvelle approche basée sur les diagrammes de décisions multivalué.
Thibault Falque, Christophe Lecoutre, Bertrand Mazure et Karim Tabia : Optimisation du parcage des avions à l'aéroport Paris Charles de Gaulle.
Vincent Barichard, Corentin Behuet, David Genest, Marc Legeay and David Lesaint : Approche par contraintes pour une classe d'emplois du temps universitaires.
Session 6 (14h45-16h15) : Résolution de problèmes
Hao Hu, Marie-José Huguet et Mohamed Siala : Diagrammes de décision binaires optimaux par satisfiabilité Booléenne maximale (Max-SAT) pour la classification.
Martin Cooper, Arnaud Lequen et Frédéric Maris : Isomorphismes entre instances et sous-instances de planification STRIPS.
Xavier Gillard et Pierre Schaus : Recherche à Large Voisinage avec des Diagrammes de Décision.
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli et Olivier Roussel : Identifier des Soft Cores dans des Formules Propositionnelles.
Assemblée générale JFPC (16h45-18h15)
Mercredi 29 juin 2022
Session 7 (9h-10h) : Modélisation
Vianney Coppé, Xavier Gillard et Pierre Schaus : Optimiser l'agencement d'une fabrique grâce aux diagrammes de décision.
Thibault Falque et Romain Wallon : Des encodages PB pour la résolution de problèmes CSP.
Alexandre Dubray, Guillaume Derval, Siegfried Nijssen and Pierre Schaus : Décodage Optimal de Modèle de Markov Cachés avec Contraintes de Cohérence.
Débat collectif (10h30-12h)
Programmation par contraintes et apprentissage : bilan, enjeux et perspectives