@misc{indiciaedf6128be27af,
  title = {Exploiting Variable Implications in Presolve for Mixed Integer Programming},
  author = {Wei-Kun Chen and Chang-Long Li and Zhao-Wei Wang and Yu-Hong Dai and Zi-Shuo Li and Meng Lu},
  year = {2026},
  url = {https://arxiv.org/abs/2607.04313},
  note = {Source identifier: 2607.04313}
}