[1]
C. Luo, S. Cai, W. Wu, and K. Su, “Double Configuration Checking in Stochastic Local Search for Satisfiability”, AAAI, vol. 28, no. 1, Jun. 2014.