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]

Authors

Xiaojuan Liao

This author has not been identified. Look up 'Xiaojuan Liao' in Google

Hui Zhang

This author has not been identified. Look up 'Hui Zhang' in Google

Miyuki Koshimura

This author has not been identified. Look up 'Miyuki Koshimura' in Google

Rong Huang

This author has not been identified. Look up 'Rong Huang' in Google

Fagen Li

This author has not been identified. Look up 'Fagen Li' in Google