GitHub repository: porscheofficial/sls_sat_solving_with_deep_learning
Primary language: Python
Description: Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bounds"