arXiv:2204.08812 [math.DS]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords relative equilibria, proving harder instances, potential pathway, efficient computer-aided proof, exact number Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset