Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation On the strength of semi-algebraic proof systems UPC Universitat Politècnica de Catalunya Ilario Bonacina
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Connections between total search and lower bounds Columbia university, US Oliver Korten