Hao Hu, Marie-José Huguet et Mohamed Siala : Diagrammes de décision binaires optimaux par satisfiabilité Booléenne maximale (Max-SAT) pour la classification.
Dimitri Justeau-Allaire and Charles Prud'Homme : Vues de domaine globales.
Martin Cooper, Arnaud Lequen et Frédéric Maris : Isomorphismes entre instances et sous-instances de planification STRIPS.
Augustin Delecluse, Pierre Schaus and Pascal Van Hentenryck : Variables de Séquence pour les problèmes de tournée de vehicules.
Vianney Coppé, Xavier Gillard et Pierre Schaus : Optimiser l'agencement d'une fabrique grâce aux diagrammes de décision.
Rachid Adrdor and Lahcen Koutti : Application de la consistance d’arc souple complète dans un algorithme de résolution de DCOPs.
Florian Régin, Elisabetta De Maria et Marie Pelleau : Résolution de problèmes dynamiques à l'aide du Model Checking.
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é.
Xavier Gillard et Pierre Schaus : Recherche à Large Voisinage avec des Diagrammes de Décision.
Thibault Falque et Romain Wallon : Des encodages PB pour la résolution de problèmes CSP.
Gilles Pesant, Claude-Guy Quimper et Hélène Verhaeghe : Échantillonnage de solutions pratiquement uniforme en programmation par contraintes.
Wijnand Suijlen, Felix de Framond, Arnaud Lallouet and Antoine Petitet : Un Algorithme Parallèle pour le Filtrage GAC de Alldifferent..
Thibault Falque, Christophe Lecoutre, Bertrand Mazure et Karim Tabia : Optimisation du parcage des avions à l'aéroport Paris Charles de Gaulle.
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli et Olivier Roussel : Identifier des Soft Cores dans des Formules Propositionnelles.
Alexandre Dubray, Guillaume Derval, Siegfried Nijssen and Pierre Schaus : Décodage Optimal de Modèle de Markov Cachés avec Contraintes de Cohérence.
Gaël Aglin, Siegfried Nijssen and Pierre Schaus : Évaluation des forêts optimales d'arbres de décision.
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.
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.
Vincent Barichard, Corentin Behuet, David Genest, Marc Legeay and David Lesaint : Approche par contraintes pour une classe d'emplois du temps universitaires.
Idir Boumbar, Elise Vareilles, Paul Gaborit and Xavier Lorca : Cadre expérimental pour l’évaluation de méthodes hybrides en configuration interactive sous contraintes.
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.
Amel Hidouri, Said Jabbour, Badran Raddaoui and Boutheina Ben Yaghlane : Fouille des motifs High Utility en SAT.
Steve Malalel, Victor Jung, Jean-Charles Regin et Marie Pelleau : Étude de la contrainte de produit.