18 Oct. 2022, 14:01-16:30 MIAO/BARC talk by Emre Yolcu Exponential separations using guarded extension variables