Search for dissertations about: "Mladen Mikša"
Found 1 swedish dissertation containing the words Mladen Mikša.
-
1. On Complexity Measures in Polynomial Calculus
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
Result pages:
1