Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results | IEEE Conference Publication | IEEE Xplore