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