Chen, W. (2021) “Stochastic Local Search over Minterms on Structured SAT Instances”, Proceedings of the International Symposium on Combinatorial Search, 7(1), pp. 125–126. doi: 10.1609/socs.v7i1.18403.