Shuo Pang University of Copenhagen Visiting Scientist Program Visits Extended Reunion: Satisfiability , Spring 2023 Visiting Scientist