El profesor Jonathan Schaeffer encontró la resolución matemática para el juego de damas, siendo su resultado el de tablas. La revista Science publicó Checkers Is Solved (Science 14 Sep 2007:Vol. 317, Issue 5844, pp. 1518-1522 DOI: 10.1126/science.1144079). La publicación ganó la International Computer Games Association Best Publication prize for 2007, y está considerada como una avance en el campo de la Inteligencia Artificial.