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

研究关键词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
• 演繹データベースに関する研究

• 官方个人主页