PhD Defense: On the Algebraic Proof Complexity of Constraint Satisfaction
September 25 @ 13:00 – 16:00
Welcome to the doctoral defense of Jonas Conneryd
Date and time: September 25, 13:00
Location: E:1406, E-huset, Klas Anshelms väg 10/Ole Römers väg 3, Lund
Doctoral student: Jonas Conneryd
Title: On the Algebraic Proof Complexity of Constraint Satisfaction