no code implementations • 12 May 2020 • Guy Avni, Ismaël Jecker, Đorđe Žikelić
In {\em bidding games}, however, the players have budgets, and in each turn, we hold an "auction" (bidding) to determine which player moves the token: both players simultaneously submit bids and the higher bidder moves the token.