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

Jan Tönshoff, Martin Grohe

Boolean Satisfiability (SAT) solvers are foundational to computer science, yet their performance typically hinges on hand-crafted heuristics. This work introduces Reinforcement Lea…