'Cause when the proof gets tough… the tough get provin' (…proof complexity lower bounds!)
My Banff 2014 talk “Narrow proofs may be maximally long”
by Massimo Lauria
My talk at the Banff workshop Theoretical Foundations of Applied SAT Solving is now online. Please get ready your rotten tomatoes and click on the link to the video below.
Talk: Narrow proofs may be maximally long (video)