Alejandro Arbelaez, Philippe Codognet. From Sequential to Parallel Local Search for SAT. In Martin Middendorf, Christian Blum, editors, Evolutionary Computation in Combinatorial Optimization - 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings. Volume 7832 of Lecture Notes in Computer Science, pages 157-168, Springer, 2013. [doi]
Abstract is missing.