Cai, S.; Su, K. Configuration Checking With Aspiration in Local Search for SAT. AAAI 2021, 26, 434-440.