Shift Design with Answer Set Programming
Shift Design with Answer Set Programming
复制标题
通过答案集编程进行班次设计
DOI：
10.3233/fi-2016-1396
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
S. Woltran
中科院分区：
文献类型：
--
作者：
Michael Abseher;M. Gebser;Nysret Musliu;Torsten Schaub;S. Woltran
答案集编程（ASP）是一种功能强大的声明式编程范式，已成功应用于许多不同的领域。最近，事实证明，ASP在解决课程时间表等硬优化问题方面也取得了成功。在本文中，我们的方法的另一个重要任务，即，轮班设计问题，旨在调整的最小数量的班次，以满足所需的员工人数（这通常是不同的时间段）在这样一种方式，过度和不足的人员被最小化。我们提供了一个ASP编码的移位设计问题，据我们所知，尚未解决ASP。
Answer Set Programming (ASP) is a powerful declarative programming paradigm that has been successfully applied to many different domains. Recently, ASP has also proved successful for hard optimization problems like course timetabling. In this paper, we approach another important task, namely, the shift design problem, aiming at an alignment of a minimum number of shifts in order to meet required numbers of employees (which typically vary for different time periods) in such a way that over- and understaffing is minimized. We provide an ASP encoding of the shift design problem, which, to the best of our knowledge, has not been addressed by ASP yet.
卡扣系列3的进展
DOI：
10.1007/978-3-319-23264-5_31
发表时间：
--
期刊：
影响因子：
--
作者：
M. Gebser;R. Kaminski;B. Kaufmann;J. Romero;T. Schaub
通讯作者：
T. Schaub