首页> 外文OA文献 >Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations

【2h】

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations

机译：使用求解器辅助转换派生分割和征服动态编程算法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shachar Itzhaky; Rohit Singh; Armando Solar-Lezama; Kuat Yessenov; Yongquan Lu; Charles Leiserson; Rezaul Chowdhury;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations [J] . Itzhaky Shachar, Singh Rohit, Solar-Lezama Armando, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第10期

机译：使用解算器辅助变换推导分而治之动态规划算法
2. Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations [J] . Itzhaky Shachar, Singh Rohit, Solar-Lezama Armando, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第10期

机译：使用求解器辅助转换派生分割和征服动态编程算法
3. AUTOMATED TRANSFORMATION OF SEQUENTIAL DIVIDE-AND-CONQUER ALGORITHMS INTO PARALLEL PROGRAMS [J] . Bernd FREISLEBEN, Thilo KIELMANN Computers and Artificial Intelligence . 1995,第6期

机译：顺序除数算法自动转换为并行程序
4. Transformational Programming and the Derivation of Algorithms [C] . Martin Ward, Hussein Zedan Computer and information science . 2010

机译：变换编程和算法推导
5. Parametric Multi-Way Recursive Divide-and-Conquer Algorithms for Dynamic Programs [D] . Javanmard, Mohammad Mahdi. 2020

机译：动态程序的参数多向递归划分和征管算法
6. Dynamic Programming and Graph Algorithms in Computer Vision* [O] . Pedro F. Felzenszwalb, Ramin Zabih -1

机译：计算机视觉中的动态编程和图形算法*
7. Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations [O] . Chowdhury Rezaul, Itzhaky Shachar, Singh Rohit, 2016

机译：使用求解器辅助变换推导出分而治之的动态编程算法

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations

著录项

引文网络

相似文献

相关主题

期刊订阅