@misc{indiciae6b0b422f93a8,
  title = {Certified Inductive Synthesis for Online Mixed-Integer Optimization},
  author = {Marco Zamponi and Emilio Incerto and Daniele Masti and Mirco Tribastone},
  year = {2025},
  doi = {10.1145/3716550.3722014},
  url = {https://arxiv.org/abs/2503.11388},
  note = {Source identifier: 2503.11388}
}