Submission + - Checkers solved, unbeatable database created (nature.com)
tgeller writes: "My story in Nature announced that a team of computer scientists at the University of Alberta has solved checkers. From the game's 500 billion billion positions (5 * 10^20), "Chinook" has determined which 100,000 billion (10^14) are needed for their proof, and run through all relevant decision trees. They've set up a site where you can see the proof, traverse the logic, and play their unbeatable automaton. Congratulations to Dr. Schaeffer and his crew!"