ASP-based approaches for solving the nuclear medicine scheduling problem. - Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Marte, Cinzia; Mochi, Marco (Journal of Logic & Computation, 2026)