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