Arc and path consistence revisited
Artificial Intelligence
Backtrack-free and backtrack-bounded search
Search in Artificial Intelligence
Network-based heuristics for constraint satisfaction problems
Search in Artificial Intelligence
A generic arc-consistency algorithm and its specializations
Artificial Intelligence
Nurse Rostering at the Hospital Authority of Hong Kong
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A methodology for object-oriented constraint programming
APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
A nurse rostering system using constraint programming and redundant modeling
IEEE Transactions on Information Technology in Biomedicine
Hybrid optimization techniques for the workshift and rest assignment of nursing personnel
Artificial Intelligence in Medicine
A categorisation of nurse rostering problems
Journal of Scheduling
Hi-index | 0.00 |
Constraint programming (CP) techniques have been widely used in many different types of applications. However for difficult NP-hard problems, such as rostering, scheduling and resource allocation, standard CP techniques alone might not be enough to find solutions efficiently. This paper introduces a technique, called ''meta-level reasoning and probability-based ordering'' (MRPO), that has performed very well on a nurse rostering problem. MRPO consists of two procedures-meta-level reasoning (MR) and probability-based ordering (PO). MR is a resolution procedure that is executed before search starts. It automatically generates redundant or implied constraints from posted constraints. These new constraints help in further reducing the search space prior to search as well as determining whether the problem is solvable or not. PO, on the other hand, is a type of value heuristic that is based on probability. Experiments show that our MRPO approach outperforms other common CP techniques and heuristics as well as other scheduling techniques, such as genetic algorithm (GA) or hybrid GA+CP algorithms. We have tested our algorithm on problems with relatively large search space-roughly 3.74x10^5^0. Traditional CP techniques will not be able to generate any solution after 12h. MRPO, on the other hand, returns a solution within only half a second.