La complexité des Problèmes de Satisfaction de Contraintes
ZLAS, un solver
expérimental pour
les problèmes d'abduction propositionnelle (collaboration avec
Florian Letombe) (lien en Anglais)
AASeq et AARand,
logiciels d'aide au séquençage de peptides de novo
(collaboration avec
Joël Henry,
LBBM) (lien en Anglais)
Thèses, comités de programme, etc.
Encadrant principal de la thèse de
Boris Lesner,
sur l'apport du raisonnement symbolique à
la représentation et à la résolution de problèmes de décision sous
incertitude (depuis le 1er octobre 2008, co-encadrement avec
François Bourdon
et
Abdel-Illah Mouaddib).
