TY  - RPRT
TI  - Using deep learning to construct stochastic local search SAT solvers with performance bounds
AU  - Maximilian J. Kramer
AU  - Paul Boes
AU  - Jens Eisert
PY  - 2026
DO  - 10.1088/2632-2153/ae5b23
UR  - https://arxiv.org/abs/2309.11452
ID  - 2309.11452
ER  -