Login / Signup
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.
Shachar Itzhaky
Rohit Singh
Armando Solar-Lezama
Kuat Yessenov
Yongquan Lu
Charles E. Leiserson
Rezaul Alam Chowdhury
Published in:
OOPSLA (2016)
Keyphrases
</>
dynamic programming algorithms
dynamic programming
optimal policy
orders of magnitude
random walk