prob014: Solitaire Battleships

proposed by

The problem description consists of:

a problem specification
a list of references
303 difficult instances and an explanation of the file format (pdf) kindly donated by Moshe Rubin. Moshe's Fathom It! rule-based solver cannot currently solve these instances.