Solving Battleships with SAT

1 points| keenerd | 8 years ago |kmkeen.com