@misc{indiciaec60de646ba82,
  title = {High-Performance Generation of Constrained Inputs},
  author = {Addison Crump and Alexi Turcotte and José Antonio Zamudio Amaya and Andreas Zeller},
  year = {2026},
  url = {https://arxiv.org/abs/2511.05987},
  note = {Source identifier: 2511.05987}
}