@misc{indiciaeee18581415c6,
  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},
  url = {https://arxiv.org/abs/2608.03461},
  note = {Source identifier: 2608.03461}
}