SMT Interview

Interview with Markus Gessner at the SMT 2018