A heuristic to find initial values for stochastic local search in SAT using continuous extensions of Boolean formulas. - Nikita Putikhin; Nikolay Kascheev (EWDTS, 2017)