G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

Zhaoyu Li, Jinpei Guo, Xujie Si

Graph neural networks (GNNs) have recently emerged as a promising approach for solving the Boolean Satisfiability Problem (SAT), offering potential alternatives to traditional back…