Luo, C., S. Cai, W. Wu, and K. Su. “Double Configuration Checking in Stochastic Local Search for Satisfiability”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.9110.