Power of Non-uniformity in Proof Complexity

Steven Perron. Power of Non-uniformity in Proof Complexity. PhD thesis, University of Toronto, Canada, 2009. [doi]

Abstract

Abstract is missing.