http://web.cs.ualberta.ca/~chinook/

Computer generated Checkers. “A long-term objective of solving the game of checkers, i.e. determining the game-theoretic value of checkers.” This is a very tough game.