第26回 (2012)
セッションID: 1E3-OS-4-4
会議情報
主催: 社団法人 人工知能学会
会議名: 2012年度人工知能学会全国大会（第26回）
回次: 26
開催地: 山口県山口市 山口県教育会館等
開催日: 2012/06/12 - 2012/06/15
学習節評価尺度LBDに基づく並列SATソルバーの提案
詳細
主催: 社団法人 人工知能学会
会議名: 2012年度人工知能学会全国大会（第26回）
回次: 26
開催地: 山口県山口市 山口県教育会館等
開催日: 2012/06/12 - 2012/06/15
本稿では学習節評価尺度LBDに基づく並列SATソルバーを提案する．矛盾からの節学習を行うCDCLソルバーでは学習し蓄積した節の取捨選択が重要となる．逐次型SATソルバーでは学習節評価尺度LBDが，特に充足不能の判定に対して優れた性能を示している．一方でマルチコア環境の普及に伴い高速並列SATソルバーが求められており，本稿ではLBDに基づく並列SATソルバーを提案し，その性能を評価する．
