Fwd: Thèse et soirée...

[Julien Vion]

Hello,

Coucou à ceux que j'ai pas vu depuis un moment...

Comme vous le savez peut-être (ou pas), je prépare depuis ma sortie de l'IG2I une thèse... Une thèse, ça prend trois ans... On est en 2007... Eh oui, 2004+3, c'est maintenant. Donc, la thèse est presque finie, même que je la soutiens vendredi à 14 heures.

Pour ceux que la programmation par contraintes intéressent, la soutenance aura lieu ce vendredi 30 novembre à 14 heures. Le titre de la thèse, que je cite pour ceux à qui je n'en ai pas parlé (les autres s'en souviennent bien), c'est "Contributions à la résolution générique des problèmes de satisfaction de contraintes". Et pour ceux qui ont encore un peu d'humour, je mets le résumé à la fin de ce mail.

Maintenant, passons aux choses sérieuses : à la fin de la soutenance, il y a un pot, et samedi soir, du coup, je fête ça chez, y compris avec ceusses qui ont pas pu venir à ma soutenance parce que leur grand-mère était souffrante.


Voilà donc. Si vous voulez venir, prévenez moi à l'avance quand même, que je prévoie la bonne dose de Banga (ceci dit, en venant avec une bouteille, vous prévenez le pire).

Le résumé promis :
Composition du Jury :
Directeurs de recherche :
* Lakhdar Saïs, Professeur des Universités, CRIL CNRS - Université d'Artois
* Christophe Lecoute, Maître de Conférences, HDR, CRIL CNRS - Université d'Artois

Rapporteurs de thèse :
* Philippe Jégou, Professeur des Universités, LSIS CNRS - Université d'Aix-Marseille
* Bertrand Neveu, Ingénieur en chef des Ponts et Chaussées, HDR, INRIA Sophia Antipolis - Projet COPRIN

Examinateurs :
* Éric Grégoire, Profeseur des Universités, CRIL CNRS - Université d'Artois
* Chu Min Li, Professeur des Universités, LaRIA CNRS - Université de Picardie

Résumé de la thèse :
     Nous proposons plusieurs techniques visant à résoudre en pratique
     le problème NP-complet de satisfaction de contraintes de manière
     générique. Nous distinguons deux grands axes de techniques de
     résolution de CSP : l'inférence et la recherche. Nous avons
     contribué à l'amélioration des techniques d'inférence en nous
     concentrant sur la propriété centrale qu'est la consistance d'arc :
     optimisations des algorithmes de consistance d'arc,
     comportement de plusieurs algorithmes d'inférence aux bornes de
     domaines discrets, et enfin une alternative intéressante à la
     consistance de chemin : la consistance duale.  Cette propriété
     nous a amenés à concevoir des algorithmes de consistance de
     chemin forte très efficaces. La variante conservative de cette
     consistance est de plus plus forte que la consistance de chemin
     conservative, tout en restant plus rapide à établir en pratique.

     Par ailleurs, nous avons également cherché à améliorer MGAC, tout
     d'abord en équipant celui-ci d'heuristiques de choix de valeurs.
     Nous nous sommes pour cela basés sur l'heuristique de
     Jeroslow-Wang, issue du problème SAT.  En utilisant deux
     techniques de conversion de CSP vers SAT, nous montrons comment
     cette heuristique se comporterait sur un CSP. Enfin, nous avons
     cherché à utiliser une hybridation entre un algorithme de
     recherche locale basé sur la pondération des contraintes et un
     algorithme MGAC équipé de l'heuristique dom/wdeg, en exploitant
     les possibilités d'apprentissage de l'un et l'autre algorithmes.

     De manière transversale, l'ensemble des techniques développées
     dans le cadre de cette thèse a amené à la résolution d'une API
     pour le langage Java, capable de résoudre un CSP au sein d'une
     application Java quelconque. Cette API a été développée dans
     l'optique "boîte noire" : le moins de paramètres et d'expertise
     possibles sont demandés à l'utilisateur.  Un prouveur basé sur
     CSP4J a concouru lors les compétitions internationales de
     prouveurs CSP avec des résultats encourageants.


Pour ceux qui lisent encore ce mail à ce point, à samedi !

--
Julien