Using deep learning to construct stochastic local search SAT solvers with performance bounds
From MaRDI portal
Publication:6451943
arXiv2309.11452MaRDI QIDQ6451943
Author name not available (Why is that?)
Publication date: 20 September 2023
Has companion code repository: https://github.com/porscheofficial/sls_sat_solving_with_deep_learning
This page was built for publication: Using deep learning to construct stochastic local search SAT solvers with performance bounds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6451943)
