Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria. - Marco Scanu; Marco Mochi; Carmine Dodaro; Giuseppe Galatà; Marco Maratea (CILC, 2023)

Operating room scheduling via answer set programming: Improved encoding and test on real data. - Carmine Dodaro; Giuseppe Galatà; Martin Gebser; Marco Maratea; Cinzia Marte; Marco Mochi; Marco Scanu (J. Log. Comput., 2024)