Visite de Takehide Soh (Kobe, Japon)
Takehide Soh, de l’université de Kobe, Japon, sera en visite au CRIL les 12 et 13 janvier 2016.
Takehide Soh travaille sur la résolution de problèmes à base de contraintes par traduction à SAT.
Il est l’auteur des outils Scarab et Diet-Sugar.