Tuomas Hakoniemi

12 papers A* 4A 1Journal 6

Year	Rank	Type	Title / Venue / Authors
2024	A*	`conf`	Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers. STOC Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret
2024	J	`jnl`	Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers. CoRR Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret
2024	J	`jnl`	Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers. Electron. Colloquium Comput. Complex. Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret
2022	A*	`conf`	Simple Hard Instances for Low-Depth Algebraic Proofs. FOCS Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret
2022	J	`jnl`	Simple Hard Instances for Low-Depth Algebraic Proofs. CoRR Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret
2022	J	`jnl`	Simple Hard Instances for Low-Depth Algebraic Proofs. Electron. Colloquium Comput. Complex. Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret
2022	—	`—`	Size bounds for algebraic and semialgebraic proof systems. Tuomas Hakoniemi
2021	A*	`conf`	Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus. LICS Tuomas Hakoniemi
2021	J	`jnl`	Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus. CoRR Tuomas Hakoniemi
2020	A*	`conf`	Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares. ICALP Tuomas Hakoniemi
2019	A	`conf`	Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs. CCC Albert Atserias, Tuomas Hakoniemi
2018	J	`jnl`	Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs. CoRR Albert Atserias, Tuomas Hakoniemi