/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2014ホーム /

1D4-OS-11a-2in 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2014 このエントリーをはてなブックマークに追加

05月12日(Mon) 15:20〜17:00 D会場(48人-ひめぎんホール 第3会議室)
1D4-OS-11a オーガナイズドセッション「OS-11 SAT技術の理論,実装,応用 (1)」
05月14日(Wed) 09:00〜10:40 D会場(48人-ひめぎんホール 第3会議室)
3O1 「インタラクティブセッション」

演題番号1D4-OS-11a-2in
題目乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化
著者岩下 洋哲(富士通研究所)
戸田 貴久(電気通信大学 大学院 情報システム学研究科)
津田 宏治(産業総合研究所 生命情報工学研究センター)
湊 真一(北海道大学大学院情報科学研究科)
時間05月12日(Mon) 16:00〜16:15【一般口頭発表】
05月14日(Wed) 09:00〜10:40【インタラクティブ発表】
概要SAT技術の発展にともない、様々な制約問題をCNF(乗法標準形)による論理式に符号化する技術が広く実用化されている。一方、制約問題からBDD(二分決定グラフ)を構築することができればBDDの強力な機能を用いた多様なアプリケーションを考えることができる。本発表では、制約問題のBDDをCNFから構築することを考え、その効率化のための様々な手法について議論する。
論文PDFファイル