Avinash Malik Cameron G. Walker Michael J. O'Sullivan Oliver Sinnen Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay. 113-126 2018 89 Comput. Oper. Res. https://doi.org/10.1016/j.cor.2017.08.012 db/journals/cor/cor89.html#MalikWOS18