Diplôme en cours ou obtenu en étant au CRIL

• Thèse : De l'IA à la logique propositionnelle : conversion en SAT et analyse des modèles 

---