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.