TY  - RPRT
TI  - Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer
AU  - Janis Zenkner
AU  - Tobias Sesterhenn
AU  - Tim Grams
AU  - Christian Bartelt
PY  - 2026
UR  - https://arxiv.org/abs/2608.03461
ID  - 2608.03461
ER  -