The Operating Room Scheduling (ORS) problem is the task of assigning patients to operating rooms, taking into account different specialties, lengths and priority scores of each planned surgery, operating room session durations, and the availability of beds for the entire length of stay both in the Intensive Care Unit and in the wards. A proper solution to the ORS problem is of primary importance for the healthcare service quality and the satisfaction of patients in hospital environments. In this paper we first present a solution to the problem based on Answer Set Programming (ASP). The solution is tested on benchmarks with realistic sizes and parameters, on three scenarios for the target length on 5-day scheduling, common in small-medium sized hospitals, and results show that ASP is a suitable solving methodology for the ORS problem in such setting. Then, we also performed a scalability analysis on the schedule length up to 15 days, which still shows the suitability of our solution also on longer plan horizons. Moreover, we also present an ASP solution for the rescheduling problem, i.e. when the off-line schedule cannot be completed for some reason. Finally, we introduce a web framework for managing ORS problems via ASP that allows a user to insert the main parameters of the problem, solve a specific instance, and show results graphically in real-time. Under consideration in Theory and Practice of Logic Programming (TPLP).

中文翻译：

---

通过ASP通过床管理安排手术室（重新）计划

手术室调度（ORS）问题是分配患者到手术室的任务，要考虑到不同的专业，每次计划手术的长度和优先级分数，手术室疗程的持续时间以及整个住院期间的床位可用性在重症监护病房和病房中。正确解决ORS问题对于医疗保健服务质量和医院环境中患者的满意度至关重要。在本文中，我们首先提出基于答案集编程（ASP）的问题的解决方案。该解决方案在具有实际大小和参数的基准上进行了测试，并在中小型医院中常见的5天计划目标长度的三种情况下进行了测试，结果表明，在这种情况下，ASP是解决ORS问题的合适方法。然后，我们还对长达15天的计划进行了可伸缩性分析，这仍然表明我们的解决方案在更长的计划范围内的适用性。此外，我们还针对重新计划问题（即，由于某种原因无法完成离线计划）提出了ASP解决方案。最后，我们介绍了一个用于通过ASP管理ORS问题的Web框架，该框架允许用户插入问题的主要参数，求解特定实例并以图形方式实时显示结果。逻辑编程理论和实践（TPLP）中正在考虑中。我们还针对重计划问题（即，由于某种原因无法完成离线计划）提出了ASP解决方案。最后，我们介绍了一个用于通过ASP管理ORS问题的Web框架，该框架允许用户插入问题的主要参数，求解特定实例并以图形方式实时显示结果。逻辑编程理论和实践（TPLP）中正在考虑中。我们还针对重计划问题（即，由于某种原因无法完成离线计划）提出了ASP解决方案。最后，我们介绍了一个用于通过ASP管理ORS问题的Web框架，该框架允许用户插入问题的主要参数，求解特定实例并以图形方式实时显示结果。逻辑编程理论和实践（TPLP）中正在考虑中。