Tuomas Hakoniemi

Tuomas Hakoniemi

University of Helsinki - Helsinki / Finland
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5711477
Helsingin yliopisto
person_outline Tuomas Hakoniemi's MOST POPULAR ARTICLES
1-) Size-degree trade-offs for sums-of-squares and positivstellensatz proofsA Atserias, T HakoniemiarXiv preprint arXiv:1811.01351, 2018302018
2-) Simple hard instances for low-depth algebraic proofsN Govindasamy, T Hakoniemi, I Tzameret2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS …, 202252022
3-) Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial CalculusT Hakoniemi2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-7, 202152021
4-) Labelled tableaux for interpretability logicsTA Hakoniemi, JJ JoostenarXiv preprint arXiv:1605.05612, 201652016
5-) Feasible interpolation for polynomial calculus and sums-of-squaresT Hakoniemi47th International Colloquium on Automata, Languages, and Programming (ICALP …, 202042020