Picture for Maximilian Kramer

Maximilian Kramer

Using deep learning to construct stochastic local search SAT solvers with performance bounds

Add code
Sep 23, 2023
Viaarxiv icon