トップ «前の日記(2012-09-02) 最新 次の日記(2013-03-15)» 月表示 編集

日々の流転


2012-09-23 [長年日記]

λ. How a CDCL SAT solver works

1年くらい前に、知人にSATソルバの動作を説明しようとして、ちょうど良い資料がなくて、紙で頑張って説明したのを、スライド化してみた。 単純な分割統治による探索とはちょっと違った動作になっているのが分かると思う。

資料 (PDF, Keynote)

参考図書

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications)(Armin Biere/Marijn Heule/Hans Van Maaren/Toby Walsh)