Information in propositional proofs and algorithmic proof search

Jan Krajicek

We study from the proof complexity perspective the (informal) proof search problem: Is there an optimal way to search for propositional proofs? We note that for any fixed proof sys…