1. Learning variable ordering heuristics for solving constraint satisfaction problems;song;CoRR,2019
2. From gameplay to symbolic reasoning: Learning SAT solver heuristics in the style of alpha(go) zero;wang;CoRR,2018
3. Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
4. Can Q-learning with graph networks learn a generalizable branching heuristic for a SAT solver?;kurin;Advances in Neural Information Processing Systems 33 Annual Conference on Neural Information Processing Systems 2020 NeurIPS 2020,2020