TY - RPRT TI - Automated Discovery of Branching Rules with Optimal Complexity for the Maximum Independent Set Problem AU - Xuan-Zhao Gao AU - Yi-Jia Wang AU - Pan Zhang AU - Jin-Guo Liu PY - 2024 UR - https://arxiv.org/abs/2412.07685 ID - 2412.07685 ER -