Battleship (logic puzzle)

Battleship, sometimes called Battleship Solitaire, is a grid-shading logic puzzle in which solvers must place 'ships' of various lengths within a grid based on numerical clues along the edges.

Background
Battleship puzzles were invented by Jaime Poniachik, founder of Argentinian magazine Humor & Juegos, and first appeared in the same magazine in 1982 under the name Batalla Naval (lit. 'naval battle'). At the time, it didn't gain enough popularity to become a consistent feature of the magazine, fading out of existence in 1982, before showing up again in 1987 after Humor & Juegos renamed itself to Juegos Para Gente De Mente. There, it found a more consistent place.

Outside of Argentina, it took until 1992 for the genre to find popularity when it was used as part of the first World Puzzle Championship in New York. By 1993, it was being published regularly in Games magazine, solidifying itself as a mainstay amongst modern logic puzzles.

Puzzle Application
Similarly to the board game of the same name, a Battleship puzzle involves locating a series of 'ships' within a grid. In most cases, the types/sizes of ship are same as in the board game, but with a different distribution: 1 of length 4, 2 of length 3, 3 of length 2, and 4 of length 1. In order to determine their positions, solvers are given a series of clues in the form on numbers at the end of each row and column indicating the number of ship segments found in them.

Beyond the clues, there are some additional constraints to the placement of the ships. In particular, no ship can be adjacent to any other ship, even diagonally, and they must all be placed either horizontally or vertically (just like in the board game).

Often, Battleship puzzles will provide some Givens, indicating that certain cells contain either an unknown segment of a boat or just water.

Played Straight

 * - While not a traditional Battleship puzzle, it still follows similar mechanics. Combined with a comprehensive rule set, this puzzle manages to be a relatively straightforward battleship puzzle without featuring a single battleship.
 * - The edge clues, like the flavortext explains, cover four separate battleship puzzles, with some overlap in the middles. As a result, submarines are used multiple times, but all ships still follow the usual rules: none of them are adjacent to each other, and everything is accounted for by the clues.

Notable Twists

 * - What would be a series of normal battleship puzzles is convoluted by the addition of a single, 3-length submersible vehicle. While submarines are usually treated normally for adjacency rules, these ships can actually appear next to or even directly underneath other ships, making them much more difficult to place.
 * - An upgraded version of the also-notable, minesweeper/battleship hybrid Shoal Patrol, this puzzle features many of the same mechanics as its predecessor, with one major difference. Rather than being 2D, this puzzle uses a single 7x7x7 cube filled with 4 4-length, 6 3-length, 9 2-length, and 4 1-length boats.