landing page (2023). URL [VIL ]P. Vilím, P. Laborie, P. Shaw, Failure-directed search for constraint-based scheduling..., in: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Springer, 2015...