A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
arXiv:2508.21513v3 Announce Type: replace Abstract: Graph Neural Networks (GNNs) have gathered increasing interest as learnable solvers of Boolean Satisfiability Problems (SATs), operating on graph representations...