Dimitriou, 2003. A Wealth of SAT Distributions with Planted Assignments, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-45193-8_19