Corrections in the lecture notes
Propositional proof complexity I.