Visit of Takehide Soh (Kobe, Japan)

Takehide Soh, from Kobe University, Japan, will visit CRIL on January 12 and 13, 2016.

Takehide Soh works on the resolution of constraints based problems by encoding into SAT.

He is the author of the tools Scarab and Diet-Sugar.