高速SATソルバーの原理
https://tamura70.gitlab.io/lect-logic/pdf/AI-SAT-2.pdf