Yong Kiam Tan Research Scientist, Institute for Infocomm Research Website Opens new tab Program Visits Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist