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

Browse the full OOPSLA paper archive.