Rethinking Branching on Exact Combinatorial Optimization Solver: The First Deep Symbolic Discovery Framework - Kuang, Yufei; Wang, Jie; Liu, Haoyang; Zhu, Fangzhou; Li, Xijun; Zeng, Jia; HAO, Jianye; Li, Bin; Wu, Feng (International Conference on Learning Representations, 2024)