Mémoires de thèses et d'habilitations
Ici sont regroupés les mémoires de thèse et d’HDR relatifs aux thèmes de recherche de l’AFPC. Pour ajouter votre mémoire à la bibliothèque virtuelle de l’AFPC, contacter Cédric Piette (piette@cril.fr).
-– 2017 —
Programmation par contraintes et découverte de motifs sur données
séquentielles [pdf]
Vincent Vigneron, Université d’Angers, 2017
-– 2016 —
Classes polynomiales du problème CSP : entre théorie et pratique
Cyril Terrioux, Aix-Marseille Université, 2016 (HDR)
Ordonnancement sous contraintes d’énergie [pdf]
Margaux Nattaf, Université de Toulouse, 2016
Harnessing Tractability in Constraint Satisfaction Problems
Clément Carbonnel, Université de Toulouse, 2016
Une nouvelle approche au General Game Playing dirigée par les contraintes
Éric Piette, Université d’Artois, 2016
-– 2015 —
Optimisation booléenne multiobjectif : complexité sous contraintes
compilées et résolution via SAT [pdf]
Emmanuel Lonca, Université d’Artois, 2015
Parallélisme en programmation par contraintes [pdf]
Mohamed Rezgui, Université Nice Sophia Antipolis, 2015
On Compressing and Parallelizing Constraint Satisfaction Problems
Nebras Gharbi, Université d’Artois, 2015
Configuration interactive et Contraintes : Connaissances, Filtrage et
Extensions [pdf]
Élise Vareilles, Institut National Polytechnique de Toulouse, 2015 (HDR)
Max-résolution et apprentissage pour la résolution du problème de
satisfiabilité maximum [pdf]
André Abramé, Université d’Aix-Marseille, 2015
Strong consistencies for Weighted Constraint Satisfaction Problems
Thi Hong Hiep Nguyen, Université Toulouse, 2015
Search, propagation, and learning in sequencing and scheduling problems
Mohamed Siala, INSA de Toulouse, 2015
Hybridation d’algorithmes évolutionnaires et de méthodes d’intervalles
pour l’optimisation de problèmes difficiles [pdf]
Charlie Vanaret, Université de Toulouse, 2015
-– 2014 —
Contrôle de la Propagation et de la Recherche dans un Solveur de
Contraintes [pdf]
Charles Prud’Homme, Université de Nantes Angers Le Mans, 2014
Classes polynomiales pour CSP : de la théorie à la pratique
Achref el Mouelhi, Université d’Aix-Marseille, 2014
La substituabilité et la cohérence de tuples pour les réseaux de
contraintes pondérées [pdf]
Djamel-Eddine Dehani, Université d’Artois, 2014
Exploitation de structures de graphe en programmation par contraintes
Jean-Guillaume Fages, l’Université de Nantes Angers Le Mans, 2014
Contributions à la résolution du problème de la Satisfiabilité
Propositionnelle [pdf]
Jerry Garvin Lonlac Konlac, Université d’Artois, 2014
Constraint Games: Modeling and Solving Games with Constraints
Thi Van Anh Nguyen, Université de Caen Basse-Normandie, 2014
Extraction de motifs sous contraintes souples, Université de Caen Basse-
Normandie [pdf]
Willy Ugarte Rojas, Université de Caen Basse-Normandie, 2014
Intégration de techniques CSP pour la résolution du problème WCSP
Nicolas Paris, Université d’Artois, 2014
Solving the Boolean Satisfiability problem using the parallel paradigm
Benoît Hoessen, Université d’Artois, 2014
Constrained Clustering by Constraint Programming
Khanh-Chuong Duong, Université d’Orléans, 2014
Conception interactive d’environnements urbains durables à base de
résolution de contraintes [pdf]
Bruno Belin, Université de Nantes, Angers, Le Mans, 2014
-– 2013 —
Résolution séquentielle et parallèle du problème de la Satisfiabilité
propositionnelle [pdf]
Long Guo, Université d’Artois, 2013
-– 2012 —
Assistance à l’agencement d’environnements virtuels : apport de la
programmation par contraintes [pdf]
Marouene Kefi, Université Nantes Angers le Mans, 2012
Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction
Problems [pdf]
Mohamed Wahbi, Université Montpellier 2 et Université Mohammed V-Agdal, Maroc, 2012
Mémoire d’habilitation à diriger des recherches
Florent Madelaine, Clermont Université, 2012
-– 2011 —
Méthodologie et outil de Test, de localisation de fautes et de correction
automatique des programmes à contraintes [pdf]
Nadjib Lazaar, Université de Rennes 1, 2011
Recherche locale pour l’optimisation en variables mixtes : méthodologie et
applications industrielles [pdf]
Antoine Jeanjean, Ecole Polytechnique, 2011
Automates et programmation par contraintes pour la planification de
personnel [pdf]
Julien Menana, Université de Nantes, 2011
LS(Graph): A constraint-based local search framework for constrained
optimum trees and paths problems on graphs [pdf]
Quang Dung Pham, Université Catholique de Louvain, 2011
Constraint-Based Very Large-Scale Neighborhood Search
Sébastien Mouthuy, Louvain School of Engineering, 2011
Symétries locales et globales en logique propositionnelle et leurs
extensions aux logiques non monotones[pdf]
Tarek Nabhani, Université de Provence - Aix-Marseille I, 2011
Techniques d’ordonnancement d’atelier et de fournées basées sur la
programmation par contraintes[pdf]
Arnaud Malapert, ENSTIM Nantes, 2011
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles
et algorithmes[pdf]
Jean-Marie Lagniez, Université d’Artois, 2011
Aspects calculatoires de l’apprentissage, du raisonnement et de la
décision [pdf]
Bruno Zanuttini, Université de Caen Basse-Normandie, 2011 (HDR)
Optimisation combinatoire dans les réseaux de fonctions de coût
Simon de Givry, INRA UBIA Toulouse, 2011 (HDR)
-– 2010 —
Intégration des problèmes de satisfaction de contraintes distribués et
sécurisés dans les systèmes d’aide à la décision à base de connaissance [pdf]
Belaïd Saad, Université de Paul Verlaine - Metz, 2010
Solving Scheduling problems from High-Level Models
Jean-Noël Monette, Université Catholique de Louvain, 2010
Relaxation de contraintes globales : Mise en oeuvre et application
Jean-Philippe Métivier, Université de Caen Basse-Normandie, 2010
Exploitation des sous-expressions communes et de la monotonie des
fonctions pour les algorithmes de ltrage sur intervalles [pdf]
Ignacio Araya, Université de Nice-Sophia Antipolis, 2010
Résolution de problèmes autour de SAT [pdf]
Gilles Audemard, Université d’Artois, 2010 (HDR)
Modélisation et résolution en programmation par contraintes de problèmes
mixtes continu/discret de satisfaction de contraintes et d’optimisation [pdf]
Nicolas Berger, Université de Nantes, 2010
Tabu-NG : hybridation de programmation par contraintes et recherche
localle pour la résolution de CSP [pdf]
Mohammad Dib, Université de Technologie de Belfort-Montbéliard et Université de Franche-Comté, 2010
Sat4j, un moteur libre de raisonnement en logique propositionnelle
Daniel le Berre, Université d’Artois, 2010 (HDR)
Un Langage de Modélisation à base de Règles pour la Programmation Par
Contraintes [pdf]
Julien Pierre Martin, Université Pierre et Marie Curie, 2010
SAT et au-delà de SAT : Modèles et Algorithmes
Bertrand Mazure, Université d’Artois, 2010 (HDR)
Optimisation sous contraintes par Intelligence Collective Auto-adaptative
Madjid Khichane, Université Claude Bernard Lyon 1, 2010
-– 2009 —
Solving Balancing and Bin-Packing problems with Constraint Programming
Pierre Schaus, Université Catholique de Louvain, 2009
Planification de coût optimal basée sur les CSP pondérés
Marie de Roquemaurel, Université Toulouse III - Paul Sabatier, 2009
Langages et transformation de modèles en programmation par contraintes
Ricardo Soto, Université de Nantes, 2009
Résolution de systèmes d’équations : l’essor de la programmation par
contraintes sur intervalles [pdf]
Gilles Trombettoni, Université de Nice, 2009
Optimisation par colonies de fourmis pour des problèmes d’optimisation
multi-objectif [pdf]
Inès Alaya, Institut Supérieur de Gestion de Tunis, 2009
-– 2008 —
A Constraint Programming Approach to Subgraph Isomorphism
Stéphane Zampelli, Université Catholique de Louvain, 2008
De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées
Saïd Jabbour, Université d’Artois, 2008
Fermetures et modules dans les langages concurrents avec contraintes
fondés sur la logique linéaire [pdf]
Rémy Haemmerlé, Université Paris Diderot, 2008
-– 2007 —
Allocation et partage équitables de ressources indivisibles :
modélisation, complexité et algorithmique [pdf]
Sylvain Bouveret, Université de Toulouse/ISAE, 2007
Contraintes de Partitionnement de Graphe [pdf]
Xavier Lorca, Université de Nantes, 2007
Calcul et exploitation de recouvrements acycliques pour la résolution de
(V)CSP [pdf]
Samba Ndojh Ndiaye, Université Paul Cézanne, 2007
Résolution par satisfaction de contraintes appliquée à l’aide à la
décision en conception architecturale [pdf]
Raphaël Chenouard, École Nationale Supérieure d’Arts et Métiers, 2007
Techniques algorithmiques pour l’extraction de formules minimales
inconsistantes [pdf]
Cédric Piette, Université d’Artois, 2007
Exploiter les conflits pour réduire l’effort de recherche en satisfaction
de contraintes[pdf]
Sébastien Tabary, Université d’Artois, 2007
Localisation d’ARN non-codants par réseaux de contraintes pondérées
Matthias Zytnicki, Université de Toulouse, 2007
Contributions à la résolution générique des problèmes de satisfaction de
contraintes [pdf]
Julien Vion, Université d’Artois, 2007
Contribution à l’utilisation de la Programmation par Contraintes pour la
Recherche de Modèles Finis en Intelligence Artificielle[pdf]
Mathias Kleiner, Université de la Méditerranée, 2007
Approches pour les problèmes SAT et CSP : ensembles strong backdoor,
voisinage consistant et forme normale généralisée [pdf]
Lionel Paris, Université de Provence, 2007
-– 2006 —
Solving Constrained Graph Problems using Reachability Constraints based on
Transitive Closure and Dominators [pdf]
Luis Quesada, Université Catholique de Louvain, 2006
The CP(Graph) Computation Domain in Constraint Programming
Grégoire Dooms, Université Catholique de Louvain, 2006
Mesurer la similarité de graphes [pdf]
Sébastien Sorlin, Université Claude Bernard Lyon 1, 2006
Résolution de problèmes combinatoires par des approches fondées sur la
notion d’explication [pdf]
Hadrien Cambazard, Université de Nantes, 2006
-– 2005 —
Contraintes globales et heuristiques de recherche pour les CSPs continus
Heikel Batnini, Université de Nice-Sophia Antipolis, 2005
Consistency Techniques for Test Data Generation
Nguyen Tran Sy, Université Catholique de Louvain, 2005
Conception et approches par propagation de contraintes : contribution à la
mise en oeuvre d’un outil d’aide interactif [pdf]
Elise Vareilles, Institut National Polytechnique de Toulouse, 2005
De la validité des formules booléennes quantifiées : étude de complexité
et exploitation de classes traitables au sein d’un prouveur [pdf]
Florian Letombe, Université d’Artois, 2005
Techniques de résolution de problèmes de satisfaction de contraintes
Bertrand Neveu, Université de Nice - Sophia Antipolis, 2005 (HDR)
Contributions à la résolution pratique de problèmes combinatoires —des
fourmis et des graphes— [pdf]
Christine Solnon, Université Claude Bernard Lyon 1, 2005 (HDR)
-– 2004 —
Modélisation et Contraintes Globales en Programmation par Contraintes
Jean-Charles Régin, Université de Nice, 2004 (HDR)
-– 2003 —
Explications de retraits de valeurs en programmation par contraintes et
application au diagnostic déclaratif[pdf]
Willy Lesaint, Université d’Orléans, 2003
Résolution de problèmes combinatoires modélisés par des contraintes
quantifiées [pdf]
Lucas Bordeaux, Université de Nantes, 2003
Problèmes de satisfaction de contraintes : une étude logique et
combinatoire [pdf]
Florent Madelaine, Université de Caen, 2003
Acquisition de connaissances et raisonnement en logique propositionnelle
Bruno Zanuttini, Université de Caen Basse-Normandie, 2003
-– Avant 2003 —
Approches structurelles et coopératives pour la résolution des problèmes
de satisfaction de contraintes [pdf]
Cyril Terrioux, Université d’Aix-Marseille I, 2002
Étude de la compilation des langages logiques de programmation par
contraintes sur les domaines finis : le système clp(FD) [pdf]
Daniel Diaz, Université d’Orléans, 1995
A Constraint Satisfaction Approach for Enclosing Solutions to Initial
Value Problems for Parametric Ordinary Differential Equations [pdf]
Micha Janssen, Université Catholique de Louvain, 2001
Résolution du problème SAT et génération de modèles finis en logique du
premier ordre [pdf]
Gilles Audemard, Université d’Aix-Marseille I, 2001
Langages et environnements en programmation par contraintes d’intervalles
Frédéric Goualard, Université de Nantes, 2000
Autour de SAT : le calcul d’impliquants P-restreints, algorithmes et
applications [pdf]
Daniel Le Berre, Université Toulouse III, 2000
De la résolution du problème SAT à la résolution de problèmes autour de
SAT [pdf]
Lakhdar Saïs, Université d’Artois, 2000 (HDR)
De la satisfaisabilité à la compilation de bases connaissances
propositionnelles [pdf]
Bertrand Mazure, Université d’Artois, 1999
Une étude théorique et expérimentale de la propagation des contraintes de
ressources [pdf]
Philippe Baptiste, Université de Technologie de Compiègne,1998
archive