@misc{indiciaebcd05af3e497,
  title = {An Expansion-Based Approach for Quantified Integer Programming},
  author = {Michael Hartisch and Leroy Chew},
  year = {2025},
  url = {https://arxiv.org/abs/2506.04452},
  note = {Source identifier: 2506.04452}
}