Y
Hacker News
new
|
ask
|
show
|
jobs
by
keenerd
3040 days ago
Here is how to solve them with SAT:
http://kmkeen.com/battleship/