Size bounds for algebraic and semialgebraic proof systems by Tuomas Hakoniemi
Tuomas Hakoniemi defended his PhD thesis Size bounds for algebraic and semialgebraic proof systems on March 03, 2022. The thesis was produced within the UPC doctoral program on Computing and his advisor was Albert Atserias. Currently, he is a postdoctoral researcher at Imperial College London in the Iddo Tzameret group. Thesis summary Proof complexity is
