@misc{indiciaed6bedec03350,
  title = {On Big-M Reformulations of Bilevel Linear Programs: Hardness of A Posteriori Verification},
  author = {Sergey S. Ketkov and Oleg A. Prokopyev},
  year = {2026},
  url = {https://arxiv.org/abs/2603.17107},
  note = {Source identifier: 2603.17107}
}