A mixed-integer-programming-based Gauss-Seidel method for multi-leader-multi-follower games | Synapse