ryanzhangfan / NeuroSAT
PyTorch implementation of NeuroSAT
☆26Updated last year
Related projects: ⓘ
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆28Updated 4 months ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆17Updated last year
- Learning local search heuristics for Boolean satisfiability