主催: 一般社団法人 人工知能学会
会議名: 2013年度人工知能学会全国大会(第27回)
回次: 27
開催地: 富山県富山市 富山国際会議場
開催日: 2013/06/04 - 2013/06/07
SAT問題を解く高速な並列SATソルバとして学習節の共有を行うさまざまなものが研究されてきた。多くのSATソルバで学習節の管理は共通の課題だが、特に並列SATソルバではその量が増え、効果的な学習節を保持しそれ以外を削除するということが難しくなる。本研究では、長期的な学習節の有用性を表す尺度であるLBDに基づいて学習節の共有を行う並列SATソルバGlucansを作成し、その評価を行った。