Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle. - Albert Atserias; Moritz Müller; Sergi Oliva (CCC, 2013)

Bounded-width QBF is PSPACE-complete. - Albert Atserias; Sergi Oliva (STACS, 2013)

On the Complexity of Resolution-based Proof Systems. - Sergi Oliva (Bull. EATCS, 2013)