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