Proof complexity is the study of different resources that a proof needs in different proof systems for propositional logic. This line of inquiry relates to the fundamental questions in theoretical  ...
['Mladen Mikša']
On Complexity Measures in Polynomial Calculus