主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会(第28回)
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
SAT技術の発展にともない、様々な制約問題をCNF(乗法標準形)による論理式に符号化する技術が広く実用化されている。一方、制約問題からBDD(二分決定グラフ)を構築することができればBDDの強力な機能を用いた多様なアプリケーションを考えることができる。本発表では、制約問題のBDDをCNFから構築することを考え、その効率化のための様々な手法について議論する。