Jing Sun. Decision Level Reward Based Branching Heuristic in Maple Solver. In Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference (HPCCT 2019) and of the 2nd International Conference on Big Data and Artificial Intelligence (BDAI 2019), Guangzhou, China, June 22 - 24, 2019. pages 243-248, ACM, 2019. [doi]
Abstract is missing.