Coordination of electrical drilling machines in open-pit mines: a constraint programming approach (2025)