Mapping DAGs on Heterogeneous Platforms Using Logic-Based Benders Decompostion | IEEE Conference Publication | IEEE Xplore