Olaf Beyersdorff from the University of Leeds is visiting Swansea on the 12th of April 2016.
He will give a talk in the Theory Seminar about Proof Complexity of Quantified Boolean Formulas
Theory
Swansea, Department of Computer Science
Olaf Beyersdorff from the University of Leeds is visiting Swansea on the 12th of April 2016.
He will give a talk in the Theory Seminar about Proof Complexity of Quantified Boolean Formulas