Chen, W., Whitley, D., Howe, A., & Goldman, B. (2021). Stochastic Local Search over Minterms on Structured SAT Instances. Proceedings of the International Symposium on Combinatorial Search, 7(1), 125–126. https://doi.org/10.1609/socs.v7i1.18403