https://9dok.org/document/q0529v1g-guiding-sat-solving-by-formula-partitioning.html