第26回 (2012)
セッションID: 1E3-OS-4-5
会議情報
主催: 社団法人 人工知能学会
会議名: 2012年度人工知能学会全国大会（第26回）
回次: 26
開催地: 山口県山口市 山口県教育会館等
開催日: 2012/06/12 - 2012/06/15
時系列信号処理に基づくSAT解法:Wave-SATソルバの実現に向けて
詳細
主催: 社団法人 人工知能学会
会議名: 2012年度人工知能学会全国大会（第26回）
回次: 26
開催地: 山口県山口市 山口県教育会館等
開催日: 2012/06/12 - 2012/06/15
本論文では，時系列信号処理に基づく新しいSAT解法を提案する．命題変数をある時系列信号とみなし，論理演算子のNOT，AND，ORをそれぞれ信号の位相変換，掛け合わせ，重ね合わせに対応づける．これにより入力される命題論理式はある合成波信号に変換される．本稿では，この合成波からSAT判定が行なえるような信号変換手法を提案する．またDSPを用いて行なった提案手法の性能評価についても報告する．
