Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS

Restricted preemption plays a crucial role in reducing total completion time while controlling preemption overhead. A typical version of restricted preemptive models is k-restricted preemptive scheduling, where preemption is only allowed after a task has been continuously processed for at least k un...

Full description

Bibliographic Details
Main Authors: Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Fagen Li
Format: Article
Language:English
Published: Graz University of Technology 2023-08-01
Series:Journal of Universal Computer Science
Subjects:
Online Access:https://lib.jucs.org/article/97743/download/pdf/