Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay

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. Computers & OR, 89:113-126, 2018. [doi]

Abstract

Abstract is missing.