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