Olaf Beyersdorff, Ilario Bonacina, Leroy Chew. Lower Bounds: From Circuits to QBF Proof Systems. In Madhu Sudan, editor, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, Cambridge, MA, USA, January 14-16, 2016. pages 249-260, ACM, 2016. [doi]
Abstract is missing.