卡明·多达罗;马可·马拉提亚 通过答案集编程安排护士。 (英语) Zbl 1491.90082号 Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10377, 301-307 (2017). 摘要:护士排班问题(NSP)是一个组合问题,它包括根据给定的实际约束分配护士轮班。在过去几年中,已经提出了几种方法来解决NSP的不同变体。本文介绍了其中一种变体的ASP编码,其要求由意大利一家医院提供。我们还设计了第二种编码,用于计算“最佳”调度。最后,使用这两种编码对意大利医院提供的实际数据进行了实验分析。结果非常积极:最先进的ASP系统Clingo能够在几分钟内计算出一年的时间表,即使考虑到100多名护士,它也能很好地扩展。关于整个系列,请参见[兹比尔1367.68005]. 引用于1文件 MSC公司: 90B35型 运筹学中的确定性调度理论 68N17号 逻辑编程 关键词:答案集编程;护士调度问题 软件:克林戈;Potassco公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Dodaro}和\textit{M.Maratea},莱克特。注释计算。科学。10377,301--307(2017;Zbl 1491.90082) 全文: 内政部