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
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