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

MLA

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory, et al. “Deriving Divide-and-Conquer Dynamic Programming Algorithms Using Solver-Aided Transformations.” MIT Web Domain, 2017. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1141893925&authtype=sso&custid=ns315887.

APA

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology. Department of Mathematics, Itzhaky, S., Singh, R., Solar Lezama, A., Yessenov, K. T., Lu, Y., Leiserson, C. E., & Chowdhury, R. (2017). Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. MIT Web Domain.

Chicago

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology. Department of Mathematics, Shachar Itzhaky, Rohit Singh, Armando Solar Lezama, Kuat T Yessenov, Yongquan Lu, Charles E Leiserson, and Rezaul Chowdhury. 2017. “Deriving Divide-and-Conquer Dynamic Programming Algorithms Using Solver-Aided Transformations.” MIT Web Domain. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1141893925&authtype=sso&custid=ns315887.