zbMATH — the first resource for mathematics

Nurse rostering as constraint satisfaction with fuzzy constraints and inferred control strategies. (English) Zbl 0983.90042
Freuder, Eugene C. (ed.) et al., Constraint programming and large scale discrete optimization. DIMACS workshop, DIMACS Center, Princeton, NJ, USA, September 14-17, 1998. Princeton, NJ: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 57, 67-99 (2001).
Summary: This article reports on the commercial ORBIS-Dienstplan system that has been developed in a collaboration of the GWI-SIEDA GmbH and the German Research Center for Artificial Intelligence (DFKI). This system solves constraint optimization problems representing nurse rostering tasks involving 250 to 1200 variables within a few minutes to a sufficient degree. Although the system is very successful on the German market, it still has some significant limitations. This system is extended in two ways: Fuzzy constraints are integrated in order to represent certain optimization tasks more accurately. Additionally, a generic method is proposed to infer search control knowledge from an abstraction of the original constraint representation. After sketching the problem representation and search algorithms, which are used by the currently sold nurse rostering system, this paper describes both extensions.
For the entire collection see [Zbl 0960.00053].

90C06 Large-scale problems in mathematical programming
90C27 Combinatorial optimization
90C10 Integer programming
90C90 Applications of mathematical programming
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)