2,128 followers
Chronological Backtracking https://t.co/zX2SfWbgZE CDCL SATソルバだとNon-Chronological Backtracking (NCB)が当然と思ってたけど、最近はそれも見直されていたのね。ビックリ。後からより浅いレベルを持つ割当てがされるので、trailスタックがレベル順でなくなるものの、大きな変更は不要。
Chronological Backtracking https://t.co/zX2SfWbgZE CDCL SATソルバだとNon-Chronological Backtracking (NCB)が当然と思ってたけど、最近はそれも見直されていたのね。ビックリ。後からより浅いレベルを持つ割当てがされるので、trailスタックがレベル順でなくなるものの、大きな変更は不要。