@misc{indiciae3f3072f43e80,
  title = {Modelling Program Spaces in Program Synthesis with Constraints},
  author = {Tilman Hinnerichs and Bart Swinkels and Jaap de Jong and Reuben Gardos Reid and Tudor Magirescu and Neil Yorke-Smith and Sebastijan Dumancic},
  year = {2025},
  url = {https://arxiv.org/abs/2508.00005},
  note = {Source identifier: 2508.00005}
}