Determining playoff clinching scenarios in the NHL using constraint programming — The AI Wire