Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. - Ji, Ruyi; Zhao, Yuwei; Xiong, Yingfei; Wang, Di; Zhang, Lu; Hu, Zhenjiang (ACM Transactions on Programming Languages & Systems, 2024)