Integer Programming Methods to Identify Nash Equilibrium Solutions for Platform-Based Scheduling Games. - Lucky Cho; Thomas C. Sharkey (Oper. Res. Forum, 2023)