AWS 生成式人工智能创新中心构建了一个自动化系统，该系统利用约束编程和自定义树搜索，以数学上的确定性确定并分析 NHL 球队何时以及如何锁定季后赛席位。该方法已针对四个完整 NHL 赛季的官方发布结果进行了验证。