SatelightUnresolvedVariable Bound Tightening for Nash Equilibrium Computation in Multiplayer Imperfect-Information Games2 July 2026 at 06:00 CESTRead full release on SatelightGurobi