Text this: ASP-based approaches for solving the nuclear medicine scheduling problem.