Small Nash Equilibrium Certificates in Very Large Games - Zhang, Brian; Sandholm, Tuomas (Advances in Neural Information Processing Systems, 2020)