W. Chen, D. Whitley, A. Howe, and B. Goldman, “Stochastic Local Search over Minterms on Structured SAT Instances”, SOCS, vol. 7, no. 1, pp. 125–126, Sep. 2021.