Heads-up limit hold'em poker is solved. - Bowling, Michael; Burch, Neil; Johanson, Michael; Tammelin, Oskari (Commun. ACM, 2017)