Articles acceptés
La liste des articles acceptés est donnée ci-dessous.
- Un modèle de Programmation Par Contraintes pour la Maintenance Opérationnelle Aéronautique. Jean-Baptiste Sciau, Agathe Goyon, Alexandre Sarazin, Jérémy Bascans, Charles Prud’Homme, Xavier Lorca.
- Une approche de programmation par contraintes pour l’ordonnancement du démantèlement d’avions. Charles Thomas.
- Inférence Probabiliste via le Comptage de Modèles Pondérés et Projetés sur des clauses de Horn. Alexandre Dubray, Pierre Schaus, Siegfried Nijssen.
- Apprendre un CSP sans connaître son langage. Christian Bessiere, Clément Carbonnel, Areski Himeur.
- Minimising Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability. Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville.
- Une contrainte globale pour l’extraction de motifs d’intervalles fréquents fermés. Djawad Bekkoucha, Abdelkader Ouali, Patrice Boizumault, Bruno Cremilleux.
- Exprimer les Idées Musicales avec la Programmation par Contraintes: un Assistant pour Compositeurs. Damien Sprockeels, Peter Van Roy.
- Optimisation du routage des conteneurs dans les réseaux de transport maritime de lignes. Yousra El Ghazi, Djamal Habet, Cyril Terrioux.
- Utilisation de codes canoniques pour résoudre efficacement le problème de génération de benzénoïdes en programmation par contraintes. Xiao Peng, Christine Solnon.
- Approche exacte et anytime pour résoudre le problème du voyageur de commerce avec des fenêtres de temps et des fonctions de coût dépendant du temps. Romain Fontaine, Christine Solnon.
- Recherche arborescente et apprentissage pour les problèmes cryptographiques. Anthony Blomme, Sami Cherif, Sorina Ionica, Gilles Dequen.
- Optimizing Power Peaks in Simple Assembly Line Balancing through Maximum Satisfiability. Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki.
- Une exploration de méthodes exactes pour une détection et un diagnostic efficaces des défaillances des réseaux.. Auguste Burlats, Cristel Pelsser, Pierre Schaus.
- Séquencement des travaux de collecte de prix avec une ressource commune et plusieurs ressources secondaires : une approche fondée sur les variables de séquence. Augustin Delecluse, Pierre Schaus.
- A Portfolio Approach for the p-Center Problem. Thomas Bazaille, Chu-Min Li, Corinne Lucet, Laure Brisoux Devendeville, Sami Cherif.
- Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production. Duc Anh Le, Stéphanie Roussel, Christophe Lecoutre.
- Une approche basée sur la programmation par contraintes pour accompagner les initiatives agroécologiques durables de petites exploitations agricoles. Margot Challand, Philippe Vismara, Dimitri Justeau-Allaire, Stéphane de Tourdonnet.
- Décompositions arborescentes intelligentes pour le raisonnement par contraintes qualitatives. Yoan Thomas, Michael Sioutis, Nofar Carmeli.
- Un cadre de paracohérence pour la gestion des incohérences dans le raisonnement qualitatif spatial et temporel. Yakoub Salhi, Michael Sioutis.
- Guiding Backtrack Search by Tracking Variables during Constraint Propagation. Christophe Lecoutre, Gilles AUDEMARD, Charles Prud’homme.
- Énumération évolutive des espaces pièges dans les réseaux booléens via la ASP. Van-Giang Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman.
- OptalCP : un nouveau moteur d’ordonnacement. Diego Olivier Fernandez Pons, Petr Vilím