Optimal task scheduling method based on satisfiability modulo theory for multiple processors with communication delay
JIANG Songyan, LIAO Xiaojuan, CHEN Guangzhu
Journal of Computer Applications . 2023, (1): 185 -191 .  DOI: 10.11772/j.issn.1001-9081.2021111862