×

通过答案集编程安排护士。 (英语) Zbl 1491.90082号

Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10377, 301-307 (2017).
摘要:护士排班问题(NSP)是一个组合问题,它包括根据给定的实际约束分配护士轮班。在过去几年中,已经提出了几种方法来解决NSP的不同变体。本文介绍了其中一种变体的ASP编码,其要求由意大利一家医院提供。我们还设计了第二种编码,用于计算“最佳”调度。最后,使用这两种编码对意大利医院提供的实际数据进行了实验分析。结果非常积极:最先进的ASP系统Clingo能够在几分钟内计算出一年的时间表,即使考虑到100多名护士,它也能很好地扩展。
关于整个系列,请参见[兹比尔1367.68005].

MSC公司:

90B35型 运筹学中的确定性调度理论
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部