[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Primary LanguagePythonMIT LicenseMIT