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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.