Search for dissertations about: "Jacobo Torán"

Found 1 swedish dissertation containing the words Jacobo Torán.

2. 1. On Complexity Measures in Polynomial Calculus

   Author : Mladen Mikša; Jakob Nordström; Jacobo Torán; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datalogi;

   Abstract : Proof complexity is the study of different resources that a proof needs in different proof systems for propositional logic. This line of inquiry relates to the fundamental questions in theoretical computer science, as lower bounds on proof size for an arbitrary proof system would separate P from NP. READ MORE