SAT問題におけるCommunity rankの提案

抄録

SAT問題を、隠された問題の構造を利用して効率的に解くためにCNFから関連の深い変数のCommunityを抽出する。そして優先的に探索するCommunityを選択するためにCommunity Rankを提案し、改良版MiniSat2.20にCommunity Rankを実装しSAT competition 2014のApplication問題について実験を行った。