SAT
高速SATソルバーの原理
http://www-erato.ist.hokudai.ac.jp/docs/seminar/nabeshima.pdf