Pham, D.; Duong, T.-T.; Sattar, A. Trap Avoidance in Local Search Using Pseudo-Conflict Learning. AAAI 2021, 26, 542-548.