Using deep learning to construct stochastic local search SAT solvers with performance bounds. - Maximilian Kramer; Paul Boes (CoRR, 2023)