TY  - RPRT
TI  - Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
AU  - Ruyi Ji
AU  - Yuwei Zhao
AU  - Yingfei Xiong
AU  - Di Wang
AU  - Lu Zhang
AU  - Zhenjiang Hu
PY  - 2024
UR  - https://arxiv.org/abs/2202.12193
ID  - 2202.12193
ER  -