@article{solverawaredecompositionsforprogrammingb,
  title = {Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer},
  author = {Janis Zenkner and Tobias Sesterhenn and Tim Grams and Christian Bartelt},
  year = {2026},
  eprint = {2608.03461},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.03461},
}