Hacker News new | ask | show | jobs
Solving Battleships with SAT (kmkeen.com)
1 points by keenerd 3030 days ago