Padraigh Jarvis, Alejandro Arbelaez. Cooperative Parallel SAT Local Search with Path Relinking. In Luís Paquete, Christine Zarges, editors, Evolutionary Computation in Combinatorial Optimization - 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings. Volume 12102 of Lecture Notes in Computer Science, pages 83-98, Springer, 2020. [doi]
Abstract is missing.