Balyo, T.; Chrpa, L. Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks. SOCS 2021, 9, 133-137.