Slice Samplingを用いたSAT技術による確率推論

抄録

SAT問題を解く技術は確率推論への応用を含めて、現在多くの研究がなされている。 その中で厳密計算が難しい規模の大きな問題に対して、サンプリングを用いることにより 確率推論を近似的に行う手法が提案されてきた。一方、新しいサンプリング法として スライスサンプリングが知られている。我々はSAT技術とスライスサンプリングを 組み合わせた確率推論を実装し、その効果について考察する。