Concepedia

Tsuyoshi Morioka

TM

5

Publications

107

Citations

5

H-Index

2001

Active since

Affiliations

University of Toronto(Current)

Tsuyoshi Morioka is an author at University of Toronto specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSatisfiabilityComputer ScienceProof ComplexityComputational ComplexityFormal VerificationDiscrete MathematicsCombinatorial Optimization

Publications per year

2001–2005

5

Publications

5

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

Tsuyoshi Morioka · 2005 · 36 citations

Engineering, Computational Complexity, Proof Complexity +16

Quantified propositional calculus and a second-order theory for NC1

Stephen Cook, Tsuyoshi Morioka · Archive for Mathematical Logic · 2005 · 27 citations

Engineering, Propositional Calculus, Automated Reasoning +4

Relativized NP search problems and propositional proof systems

J. Buresh-Oppenheim, Tsuyoshi Morioka · 2004 · 17 citations

Mathematical Programming, Classes Ppp, Engineering +15

Relativized NP search problems and propositional proof systems

J. Buresh-Oppenheim, Tsuyoshi Morioka · 2004 · 14 citations

Classes Ppp, Engineering, Automated Reasoning +14

Classification of search problems and their definability in bounded arithmetic

Tsuyoshi Morioka · TSpace (University of Toronto) · 2001 · 13 citations · Full text

Rows per page

1–5 of 5