• PhD Defense: On the Algebraic Proof Complexity of Constraint Satisfaction

    E:1406, E-building, Lund University Klas Anshelms väg 10, Sweden

    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