Tuomas Hakoniemi

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers.

Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

2022

Size bounds for algebraic and semialgebraic proof systems.

Tuomas Hakoniemi

PhD thesis, 2022

Simple Hard Instances for Low-Depth Algebraic Proofs.

Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret

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.

Tuomas Hakoniemi

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares.

Tuomas Hakoniemi

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs.

Albert Atserias, Tuomas Hakoniemi

Proceedings of the 34th Computational Complexity Conference, 2019