愛知工業大学 · 情報科学部 · 教授

研究キーワードrectangle cover problem・satisfiability algorithms・union of hyperrectangles・Cartesian products measure・average running time・backtracking algorithms・computational geometry algorithms

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 組合せ問題の計算複雑性に関する研究
• The study of deductive databases
• The study of the computational complexity of combinatorial problems
• 演繹データベースに関する研究

• 公式プロフィール