Adrian Balint, Uwe Schöning. Engineering a Lightweight and Efficient Local Search SAT Solver. In Lasse Kliemann, Peter Sanders, editors, Algorithm Engineering - Selected Results and Surveys. Volume 9220 of Lecture Notes in Computer Science, pages 1-18, 2016. [doi]
Abstract is missing.