The article says that their solution is in house, and they don't seem to be using integer linear programming. My guess is that they start with a random feasible

The article says that their solution is in house, and they don't seem to be using integer linear programming. My guess is that they start with a random feasible solution using a fast greedy heuristic, then iteratively improve it using a simulated annealing process.