Proof complexity - an introduction - Avi Wigderson