机译:使用解算器辅助变换推导分而治之动态规划算法
Divide-and-conquer; Dynamic Programming; Program Synthesis; Verification; Refinement Types; SMT;
机译:使用解算器辅助变换推导分而治之动态规划算法
机译:顺序除数算法自动转换为并行程序
机译:索引-3高效多体系系统动力学模拟算法:理论与平行实现
机译:变换编程和算法推导
机译:动态程序的参数多向递归划分和征管算法
机译:计算机视觉中的动态编程和图形算法*
机译:使用求解器辅助变换推导出分而治之的动态编程算法