戸田貴久のホームページ

戸田貴久 [FAMILY Given]

Last update: 2016-07-12


Japanese | English

1. プロフィール

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

情報・ネットワーク工学専攻 助教

2. 研究

  • キーワード:二分決定グラフ,充足可能性問題,モデル検査,論理関数, ハイパーグラフ
  • 研究業績

3. プログラム

  • ALLSATソルバー

    CNFとして与えられた命題論理式のすべての充足割当の計算

  • CNF2OBDD

    MiniSatを用いたCNFからOBDDの構築

  • DB-TDD

    論理関数の双対化

  • HTC-BDD

    ハイパーグラフ横断の計算(極小ヒッティング集合の列挙)

  • ZCOMP/UNZCOMP

    ハイパーグラフの圧縮・解凍