05月12日(Mon) 15:20〜17:00 D会場(48人-ひめぎんホール 第3会議室)
| 演題番号 | 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ファイル |