University of Toronto, Vector Institute, Mila; Shanghai Jiao Tong University; University of Toronto, Vector Institute
SAT solving;Graph neural networks
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks