結果 : mixed integer programming methods for finding nash equilibria