2C3 Using SAT Solver for Nurse Scheduling Problem(Technical session 2C: OS2: Timetabling and assignment problems(1)) :
Access this Article
Search this Article
This paper proposes a new SAT model for the nurse scheduling problems (NSP). Previously, we solved NSP using a SAT model based on an analogy of the MIP model. But for NSP instances with higher total penalty, experimental results implied that the SAT was not so strong approach. So we, in this paper, discuss a new SAT model about the counting numbers and the window search algorithm. We show the performance by some instances in the Nurse Rostering Contest held in 2010. A new method reduced running time to about 70%, compared with the previous method.
- Proceedings of International Symposium on Scheduling
Proceedings of International Symposium on Scheduling 2011, 97-100, 2011