T. Geibinger, F. Mischek, and N. Musliu, “Constraint Logic Programming for Real-World Test Laboratory Scheduling”, AAAI, vol. 35, no. 7, pp. 6358-6366, May 2021.