Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Fagen Li. Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS. J. UCS, 29(8):911-937, August 2023. [doi]

Abstract

Abstract is missing.