Tsuyoshi Morioka profile picture

Tsuyoshi Morioka

Is this your author profile? Create an account to claim and customize it!

Logical approaches to the complexity of search problems: proof complexity, quantified propositional calculus, and bounded arithmetic.