[keenerd]

Here is how to solve them with SAT: http://kmkeen.com/battleship/