Browsing Programa de Doctorat en Computació by Subject "512"

Now showing items 1-1 of 1

    Size bounds for algebraic and semialgebraic proof systems 

    Hakoniemi, Tuomas (Date of defense: 2022-03-25)

    This thesis concerns the proof complexity of algebraic and semialgebraic proof systems Polynomial Calculus, Sums-of-Squares and Sherali-Adams. The most studied complexity measure for these systems is the degree of ...