戸田貴久
todat(at)acm.org

電気通信大学
大学院情報理工学研究科
准教授

研究

• アルゴリズム・論理・推論・探索・離散構造
• 論文・口頭発表など

講義（2021年度）

• 基礎プログラミングおよび演習
• MICS実験第二
• 計算数理
• 計算量の理論

プログラム

• Strategy-solvable Sudoku Clues Generation
• All Solutions SAT Repository
• CNF2OBDD
• DB-TDD
• HTC-BDD
• ZCOMP/UNZCOMP

その他

• 研究室ウェブサイト