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