Artificial Intelligence, Intelligent Systems, Intersection management, MiniZinc, traffic congestion, vehicle detection.