TY  - RPRT
TI  - Modelling Program Spaces in Program Synthesis with Constraints
AU  - Tilman Hinnerichs
AU  - Bart Swinkels
AU  - Jaap de Jong
AU  - Reuben Gardos Reid
AU  - Tudor Magirescu
AU  - Neil Yorke-Smith
AU  - Sebastijan Dumancic
PY  - 2025
UR  - https://arxiv.org/abs/2508.00005
ID  - 2508.00005
ER  -