Tuomas Hakoniemi

Orcid: 0009-0006-6310-9160

According to our database1, Tuomas Hakoniemi authored at least 6 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers.
Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

2022
Size bounds for algebraic and semialgebraic proof systems.
PhD thesis, 2022

Simple Hard Instances for Low-Depth Algebraic Proofs.
Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

2021
Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019
Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs.
Proceedings of the 34th Computational Complexity Conference, 2019


  Loading...