zhaoyu-li / G4SATBench

[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
31Updated 5 months ago

Related projects

Alternatives and complementary repositories for G4SATBench