具有通信延迟的任务图最优调度的可满足性模理论（SMT）公式

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

• Avinash Malik
• Cameron Walker
• Michael O’Sullivan
• Oliver Sinnen 通讯