Geibinger, T.; Mischek, F.; Musliu, N. Constraint Logic Programming for Real-World Test Laboratory Scheduling. AAAI 2021, 35, 6358-6366.