Tuomas Hakoniemi

According to our database, Tuomas Hakoniemi authored at least 5 papers between 2019 and 2022.

Collaborative distances:

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

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

Electron. Colloquium Comput. Complex., 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