Sergi Oliva

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Strips Planning

Quantified Boolean Formulas

Statistical Queries

Top Venues

Electron. Colloquium Comput. Complex.

J. Comput. Syst. Sci.

Publications

Albert Atserias, Moritz Müller, Sergi Oliva
Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. J. Symb. Log. 80 (2) (2015)
Albert Atserias, Sergi Oliva
Bounded-width QBF is PSPACE-complete. J. Comput. Syst. Sci. 80 (7) (2014)
Sergi Oliva
On the Complexity of Resolution-based Proof Systems. Bull. EATCS 110 (2013)
Albert Atserias, Moritz Müller, Sergi Oliva
Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle. Computational Complexity Conference (2013)
Albert Atserias, Moritz Müller, Sergi Oliva
Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. Electron. Colloquium Comput. Complex. 20 (2013)
Albert Atserias, Sergi Oliva
Bounded-width QBF is PSPACE-complete. STACS (2013)
Albert Atserias, Sergi Oliva
Bounded-width QBF is PSPACE-complete. Electron. Colloquium Comput. Complex. 19 (2012)