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)