NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

GNN
NAI
Re-assign community