Jonas Conneryd's PhD defence

Thesis title: On the Algebraic Proof Complexity of Constraint Satisfaction

Author: Jonas Conneryd, Department of Computer Science, Lund University

Faculty opponent: Professor Alexander Razborov, University of Chicago, USA

Examination Committee:

• Professor Johan Wästlund, University of Gothenburg
• Associate Professor Per Austrin, KTH Royal Institute of Technology
• Associate Professor Vladimir Podolskii, Tufts University, USA
• Deputy: Professor Jacek Malec, Lund University

Session chair: Senior Lecturer Elin Anna Topp, Lund University

Supervisors:

• Main supervisor: Professor Tatyana Turova, Lund University
• Senior Lecturer Michael Doggett, Lund University

Location: E:1406, E-huset, Klas Anshelms väg 10/Ole Römers väg 3, Lund

Here a link to download the thesis will appear later...

Abstract

To be added later...