@misc{indiciaeb7c36b0086d0,
  title = {Solver-Aided Expansion of Loops to Avoid Generate-and-Test},
  author = {Niklas Dewally and Özgür Akgün},
  year = {2025},
  url = {https://arxiv.org/abs/2508.08442},
  note = {Source identifier: 2508.08442}
}