Sergi Oliva

According to our database¹, Sergi Oliva authored at least 3 papers in 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

On the Complexity of Resolution-based Proof Systems.

[BibT_eX]

[DOI]

Bull. EATCS, 2013

Bounded-width QBF is PSPACE-complete.

[BibT_eX]

[DOI]

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013

Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle.

[BibT_eX]

[DOI]

Proceedings of the 28th Conference on Computational Complexity, 2013