porscheofficial/sls_sat_solving_with_deep_learning
Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bounds"
PythonMIT
Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bounds"
PythonMIT