@misc{indiciae0a6fcf3d6710,
  title = {Automated Discovery of Branching Rules with Optimal Complexity for the Maximum Independent Set Problem},
  author = {Xuan-Zhao Gao and Yi-Jia Wang and Pan Zhang and Jin-Guo Liu},
  year = {2024},
  url = {https://arxiv.org/abs/2412.07685},
  note = {Source identifier: 2412.07685}
}