人工知能学会全国大会論文集
Online ISSN : 2758-7347
第28回 (2014)
セッションID: 1D4-OS-11a-2in
会議情報

乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化
*岩下 洋哲戸田 貴久津田 宏治湊 真一
著者情報
会議録・要旨集 フリー

詳細
抄録

SAT技術の発展にともない、様々な制約問題をCNF(乗法標準形)による論理式に符号化する技術が広く実用化されている。一方、制約問題からBDD(二分決定グラフ)を構築することができればBDDの強力な機能を用いた多様なアプリケーションを考えることができる。本発表では、制約問題のBDDをCNFから構築することを考え、その効率化のための様々な手法について議論する。

著者関連情報
© 2014 一般社団法人 人工知能学会
前の記事 次の記事
feedback
Top