Chen, W.; Whitley, D.; Howe, A.; Goldman, B. Stochastic Local Search over Minterms on Structured SAT Instances. SOCS 2021, 7, 125-126.