Thèses et Habilitations autour de la PPC
Cliquez ici pour soumettre un document.
Autres documents non disponibles dans HAL
2021
-
The extensional constraint ,Hélène Verhaeghe ,Louvain School of Engineering
2015
-
Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT ,Emmanuel Lonca ,Université d’Artois -
On Compressing and Parallelizing Constraint Satisfaction Problems ,Nebras Gharbi ,Université d'Artois -
Max-résolution et apprentissage pour la résolution du problème de satisfiabilité maximum ,André Abramé ,Université d'Aix-Marseille
2014
-
Classes polynomiales pour CSP : de la théorie à la pratique ,Achref el Mouelhi ,Université d'Aix-Marseille -
La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées ,Djamel-Eddine Dehani ,Université d'Artois -
Contributions à la résolution du problème de la Satisfiabilité Propositionnelle ,Jerry Garvin Lonlac Konlac ,Université d'Artois -
Intégration de techniques CSP pour la résolution du problème WCSP ,Nicolas Paris ,Université d'Artois -
Solving the Boolean Satisfiability problem using the parallel paradigm ,Benoît Hoessen ,Université d'Artois
2013
-
Résolution séquentielle et parallèle du problème de la Satisfiabilité propositionnelle ,Long Guo ,Université d'Artois
2012
-
Assistance à l'agencement d'environnements virtuels : apport de la programmation par contraintes ,Marouene Kefi ,Université Nantes Angers le Mans
2011
-
Méthodologie et outil de Test, de localisation de fautes et de correction automatique des programmes à contraintes ,Nadjib Lazaar ,Université de Rennes 1 -
LS(Graph): A constraint-based local search framework for constrained optimum trees and paths problems on graphs ,Quang Dung Pham ,Université Catholique de Louvain -
Constraint-Based Very Large-Scale Neighborhood Search ,Sébastien Mouthuy ,Louvain School of Engineering -
Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones ,Tarek Nabhani ,Université de Provence - Aix-Marseille I -
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes ,Jean-Marie Lagniez ,Université d'Artois [tel]
2010
-
Solving Scheduling problems from High-Level Models ,Jean-Noël Monette ,Université Catholique de Louvain -
Exploitation des sous-expressions communes et de la monotonie des fonctions pour les algorithmes de ltrage sur intervalles ,Ignacio Araya ,Université de Nice-Sophia Antipolis -
Résolution de problèmes autour de SAT ,Gilles Audemard ,Université d'Artois -
Un Langage de Modélisation à base de Règles pour la Programmation Par Contraintes ,Julien Pierre Martin ,Université Pierre et Marie Curie -
SAT et au-delà de SAT : Modèles et Algorithmes ,Bertrand Mazure ,Université d'Artois
2009
-
Solving Balancing and Bin-Packing problems with Constraint Programming ,Pierre Schaus ,Université Catholique de Louvain -
Résolution de systèmes d’équations : l’essor de la programmation par contraintes sur intervalles ,Gilles Trombettoni ,Université de Nice
2008
-
A Constraint Programming Approach to Subgraph Isomorphism ,Stéphane Zampelli ,Université Catholique de Louvain -
De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées ,Saïd Jabbour ,Université d'Artois -
Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire ,Rémy Haemmerlé ,Université Paris Diderot
2007
-
Allocation et partage équitables de ressources indivisibles : modélisation ,Sylvain Bouveret ,Université de Toulouse/ISAE -
Calcul et exploitation de recouvrements acycliques pour la résolution de (V)CSP ,Samba Ndojh Ndiaye ,Université Paul Cézanne -
Techniques algorithmiques pour l'extraction de formules minimales inconsistantes ,Cédric Piette ,Université d'Artois -
Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes ,Sébastien Tabary ,Université d'Artois -
Contribution à l'utilisation de la Programmation par Contraintes pour la Recherche de Modèles Finis en Intelligence Artificielle ,Mathias Kleiner ,Université de la Méditerranée -
Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée ,Lionel Paris ,Université de Provence
2006
-
Solving Constrained Graph Problems using Reachability Constraints based on Transitive Closure and Dominators ,Luis Quesada ,Université Catholique de Louvain -
The CP(Graph) Computation Domain in Constraint Programming ,Grégoire Dooms ,Université Catholique de Louvain -
Mesurer la similarité de graphes ,Sébastien Sorlin ,Université Claude Bernard Lyon 1
2005
-
Consistency Techniques for Test Data Generation ,Nguyen Tran Sy ,Université Catholique de Louvain -
De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d'un prouveur ,Florian Letombe ,Université d'Artois -
Techniques de résolution de problèmes de satisfaction de contraintes ,Bertrand Neveu ,Université de Nice - Sophia Antipolis
2003
-
Explications de retraits de valeurs en programmation par contraintes et application au diagnostic déclaratif ,Willy Lesaint ,Université d'Orléans -
Résolution de problèmes combinatoires modélisés par des contraintes quantifiées ,Lucas Bordeaux ,Université de Nantes -
Problèmes de satisfaction de contraintes : une étude logique et combinatoire ,Florent Madelaine ,Université de Caen
2002
-
Approches structurelles et coopératives pour la résolution des problèmes de satisfaction de contraintes ,Cyril Terrioux ,Université d'Aix-Marseille I
2001
-
A Constraint Satisfaction Approach for Enclosing Solutions to Initial Value Problems for Parametric Ordinary Differential Equations ,Micha Janssen ,Université Catholique de Louvain -
Résolution du problème SAT et génération de modèles finis en logique du premier ordre ,Gilles Audemard ,Université d'Aix-Marseille I
2000
-
Langages et environnements en programmation par contraintes d’intervalles ,Frédéric Goualard ,Université de Nantes -
De la résolution du problème SAT à la résolution de problèmes autour de SAT ,Lakhdar Saïs ,Université d'Artois
1999
-
De la satisfaisabilité à la compilation de bases connaissances propositionnelles ,Bertrand Mazure ,Université d'Artois
1998
-
Une étude théorique et expérimentale de la propagation des contraintes de ressources ,Philippe Baptiste ,Université de Technologie de Compiègne