Nick Fischer Graduate Student, Max-Planck-Institut für Informatik Program Visits Satisfiability: Theory, Practice, and Beyond , Spring 2021 Visiting Graduate Student Website Opens new tab