TY  - RPRT
TI  - A Divide-Align-Conquer Strategy for Program Synthesis
AU  - Jonas Witt
AU  - Sebastijan Dumančić
AU  - Tias Guns
AU  - Claus-Christian Carbon
PY  - 2024
UR  - https://arxiv.org/abs/2301.03094
ID  - 2301.03094
ER  -