Nikita Putikhin, Nikolay Kascheev. A heuristic to find initial values for stochastic local search in SAT using continuous extensions of Boolean formulas. In 2017 IEEE East-West Design & Test Symposium, EWDTS 2017, Novi Sad, Serbia, September 29 - October 2, 2017. pages 1-4, IEEE Computer Society, 2017. [doi]
Abstract is missing.