Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? Kurin et al.: https://
arxiv.org/abs/1909.11830 #DeepLearning #QLearning #ReinforcementLearning
Q-Learning Graph Networks for SAT Solver Branching Heuristics
By
–
Leave a Reply