Otaru University of Commerce · Graduate School of Commerce · 准教授

Research keywords充足可能性問題・QBF・計算量理論・オートマトン理論・記述複雑性

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Algorithmic Foundations for Social Advancement 209 - 221 2025年03月2025 · 論文
• Optimization Methods and Software 36 2-3 279 - 300 2021年05月2021 · 論文
• Electr. J. Comb. 25 3 P3.6 2018年2018 · 論文
• Mathematical Programming Computation 10 2 267 - 302 2018年06月2018 · 論文

• 2023年04月 -2028年03月2023 · 共同研究・競争的資金等の研究課題
• 2020年04月 -2025年03月2020 · 共同研究・競争的資金等の研究課題
• 2018年04月 -2022年03月2018 · 共同研究・競争的資金等の研究課題
• 2016年04月 -2021年03月2016 · 共同研究・競争的資金等の研究課題

• Official profile