4 ms·Here is how to solve them with SAT: http://kmkeen.com/battleship/ http://kmkeen.com/battleship/by keenerd 9y agoHere is how to solve them with SAT: http://kmkeen.com/battleship/ http://kmkeen.com/battleship/