Conférenciers Invités
Philippe Laborie
Programme détaillé
- 17 mai 2026
- Soir: Sport (Badminton, Football en salle, Basket)
- 18 mai 2026 (Jour 1)
- Journée: TBD
- Soir: Ouverture
- 19 mai 2026 (Jour 2)
- Journée: TBD
- Soir: Banquet
- 20 mai 2026 (Jour 3)
Articles acceptés
- Configuration multi-niveau de flottes de robots hétérogènes ou comment utiliser la PPC pour des missions Search and Rescue, Lucas Ligny, Elise Vareilles, Stephanie Roussel and Gauthier Picard
- Sur l’autostabilisation de la circulation de jeton asynchrone de Dijkstra, Asma Khoualdia, Sami Cherif, Stéphane Devismes and Léo Robert
- Bandits manchots sensibles à la dynamique des redémarrages pour SAT, Jinghu Liang, Sami Cherif and Chu-Min Li
- TableBay : Une application de construction d'emplois du temps utilisant la PPC, Romain Wallon
- Compression des instances cryptographiques au format XNF, Anthony Blomme, Sami Cherif, Said Jabbour and Lakhdar Sais
- L'élimination de colonnes appliquée aux problèmes d'ordonnancement, Vianney Coppé
- Une approche PPC pour le problème d'équilibrage de ligne sous contraintes de ressources, effet d'apprentissage et périodes d'ajustement fixes, Duc Anh Le, Stephanie Roussel and Christophe Lecoutre
- L'acquisition de contraintes à l'épreuve de la pratique : une méthode d'apprentissage correcte à chaque instant, Aicha Boukhari, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar and Grégoire Menguy
- Calcul renforcé des bornes inférieures dans les solveurs MaxSAT de type séparation et évaluation, Jialu Zhang, Chu-Min Li, Sami Cherif and Shuolin Li
- Amélioration du vérificateur par raisonnement énergétique pour la contrainte cumulative avec la structure de données Profil, Rosaly Zoller Bodo Ngono, Yves Pascal Ndjopnang Wantiep and Roger Kameugne
- Filtrage de la contrainte de distance pour les variables séquences, Margaux Schmied, Augustin Delecluse, Jean-Charles Régin and Pierre Schaus
- Modèle DDO pour les problèmes d'ordonnancement à une machine avec dates de disponibilité et des contraintes d'inventaire, Emma Legrand, Roger Kameugne, Pierre Schaus, Quentin Meurisse and Renaud De Landtsheer
- Combiner ensembles minimaux insatisfiables et degrés de relaxation pour le calcul d'explications, Damien Piot, Emmanuel Hébrard and Marie-José Huguet
- Pyagroplan : un module python basé sur la programmation par contraintes pour l’enseignement et la diffusion d’un outil d’aide à la planification agroécologique de cultures, Philippe Vismara, Margot Challand, Dimitri Justeau-Allaire, Titouan Lorieul and Stephane De Tourdonnet
- Vers un outil d'aide à la décision pour la gestion des plannings de soutenances des étudiants en stage et alternance, Matthieu Py
- Stratégie de fusion par regroupement pour le calcul de bornes par diagrammes de décision relaxés et restreints : quand cela fonctionne-t-il et pourquoi ?, Alice Burlats, Roger Kameugne, Cristel Pelsser and Pierre Schaus
- Vers la cohérence de borne pour la contrainte de non-chevauchement à l’aide des diagrammes de décision, Amaury Guichard, Laurent Michel, Hélène Verhaeghe and Pierre Schaus
- Les problèmes d’ordonnancement avec recettes, inventaires et séries avec OptalCP, Diego Olivier Fernandez Pons
- L'herbe est-elle plus verte dans le jardin du voisin ?, Christophe Lecoutre
- PyCSP3-Scheduling : une extension ordonnancement pour PyCSP3, Sohaib Afifi
- Aperiodic Tiling and Rhythmic Canons: A CP Journey, Guillaume Derval and Christophe Lecoutre
- Sur le calcul des sous-arbres colorés maximaux, Shuolin Li, Sami Cherif, Chu-Min Li, Ahlam Mentag, Rebecca Dauwe and Jialu Zhang
- Un cadre pour la résolution de problèmes hybrides ensemblistes-numériques, Daniel Crowley, Daniel Le Berre, Olivier Roussel and Yakoub Salhi
- Un nouveau modèle de Programmation par Contraintes pour la Multiplication par Constantes Multiples, Théo Cantaloube, Xiao Peng, Christine Solnon and Anastasia Volkova
