S. Cai and K. Su, “Configuration Checking with Aspiration in Local Search for SAT”, AAAI, vol. 26, no. 1, pp. 434-440, Sep. 2021.