Thesis Proposal: An Application of Game Characterizations to Propositional Proof Complexity
Alexander Hertel · 2007
At our last checkpoint together, we reviewed a number of results and laid out a research plan. The purpose of this paper is to present the research completed since then and to propose how these results can be combined with those from the previous checkpoint into a Ph.D thesis. To review, our previous checkpoint described the following results: