Pavel Hrubeš

Pavel Hrubeš

Proceedings

Recent 5
- Hrubeš Pavel, Pudlák Pavel
- Random formulas, monotone circuits, and interpolation
- in Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS), Berkeley, USA, 15.10.2017 - 17.10.2017, 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS), IEEE, New York, 2017, 121-131.
Associated with grants:
FEALORA(339691)
- Hrubeš Pavel, Yehudayoff Amir
- On isoperimetric profiles and computational complexity
- in Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, Rome, Italy, 12.7.2016 - 15.7.2016, editor(s): Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, Davide Sangiorgi, Automata, Languages, and Programming, ICALP 2016, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Dagstuhl, 2016, 1-12.
Associated with grants:
FEALORA(339691)
- Filmus Yuval, Hrubeš Pavel, Lauria Massimo
- Semantic versus syntactic cutting planes
- in Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016), Orleans, France, 17.2.2016 - 20.2.2016, editor(s): Nicolas Ollinger and Heribert Vollmer, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016), Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Daghstuhl, 2016, 1-13.
Associated with grants:
FEALORA(339691)
- Hrubeš Pavel, Rao Anup
- Circuits with medium fan-in
- in Proceedings of the 30th Conference on Computational Complexity (CCC 2015), Portland, USA, 17.6.2015 - 19.6.2015, editor(s): David Zuckerman, 30th Conference on Computational Complexity (CCC 2015), Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Dagstuhl, 2015, 381-391.
Associated with grants:
FEALORA(339691)

Publications
all types
articles
proceedings
preprints IM

IM AS CR P. Hrubeš MLTCS

last update: 31/07/2018