SATソルバの学習節に対する新しい評価手法の提案

抄録

SAT問題とは、与えられた命題論理式の充足可能性を判定するものであり、回路検証問題などの様々な分野に応用されている。このため、SAT問題をより高速に解くことできるソルバを作成することは重要である。 本研究では、既存の学習節評価基準であるLBDを拡張したTrueLBDという新たな評価基準を提案し、さらに、LBDの値の更新について新たに三つの手法を提案する。また、それらを比較検討し、その結果を示す。