Partenaires
Home page > News > PhD theses and HDR
PhD theses and HDR
Résolution efficace de réseaux de contraintes spatio-temporelles qualitatives par traduction en logique propositionnelle (in French)
La représentation et le raisonnement sur le temps et l’espace est un problème central dans certains domaines de l’informatique tels que le traitement du langage naturel, la planification spatiale et temporelle, les systèmes d’information géographiques (SIG). Dans ce cadre là, des formalismes ne s’attachant qu’à l’aspect qualitatif des positions relatives entre les entités temporelles ou spatiales ont été proposés. Chacun de ces formalismes, dits qualitatifs, considère un ensemble d’éléments représentant (...)
Multi-Objective boolean optimization (appointed, in French)
L’optimisation multi-critère est un thème de recherche à la frontière entre les sciences de la décision et l’informatique. Un point remarquable de ce thème est qu’il existe pléthore d’applications issues de domaines différents qui se ramènent à la résolution d’un problème d’optimisation multi-critère. Par exemple, c’est le cas des problèmes de gestion de dépendances entre logiciels (Linux, Eclipse, Maven). Il importe donc de développer non seulement des approches de modélisation mais aussi des approches (...)
Integration of Constraint Paradigms
Constraint Programming (CP) is a general framework providing efficient models and algorithms to solve combinatorial problems. CP allows us to address both decision problems (CSP, SAT, ...) and optimization problems (COP, WCSP, ...), while handling (usually independently) different constraint paradigms such as hard constraints, soft constraints, conditional constraints, etc. The goal of this thesis is to develop a unifying model (to be implemented as a constraint solver) integrating these (...)
Parallelization of Constraint Solvers
Constraint Programming (CP) is a general framework providing efficient models and algorithms to solve combinatorial problems. With the generalization of multicore hardware and cloud computing, constraint programming researchers have a real opportunity to improve constraint solvers by several orders of mag- nitude. The main goal of this thesis is to design and develop new parallel solvers for both CSP and SAT problems, either on multicore architecture or on the cloud. Both parallelization of (...)