Space in weak propositional proof systems

Ilario Bonacina
2016 Bulletin of the European Association for Theoretical Computer Science  
Every year, the Italian Chapter of the EATCS gives an award for the Best Italian PhD Thesis in Theoretical Computer Science. The award is presented at the annual Italian Conference on Theoretical Computer Science (ICTCS), where the award recipient delivers a presentation on her/his work. This year's award went to Ilario Bonacina for his thesis Space in weak propositional proof systems, which was supervised by Nicola Galesi at the University of Rome "La Sapienza". Ilario's thesis contributes to
more » ... classic and deep topic in theoretical computer science, and settles natural questions on the space complexity of proofs using Resolution and the Polynomial Calculus that had been open for about 15 years. Ilario kindly agreed to contribute a summary of the work presented in his thesis to this issue of the Bulletin of the EATCS. I trust that his survey will be of interest to readers of the Bulletin, regardless of their main research interests. Enjoy it!
dblp:journals/eatcs/Bonacina16 fatcat:7oxgzcxtdnf4bfpncyd27bhshe