We prove the first unconditional consistency result for superpolynomial
...
This paper studies propositional proof systems in which lines are sequen...
We study the proof complexity of RAT proofs and related systems includin...
We introduce new stable, natural merge sort algorithms, called 2-merge s...