T. Balyo and L. Chrpa, “Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks”, SOCS, vol. 9, no. 1, pp. 133–137, Jul. 2018.