Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs

Re-assign community