On the Hardness of Learning GNN-based SAT Solvers: The Role of Graph Ricci Curvature

Open in new window