Proposed by Özgür Akgün

Given a grid, we want to place a number of pieces such that every piece is completely included in the grid and no overlapping occurs between pieces.

Section 3.3 of [meseguer2001exploiting] gives a more detailed specification of the problem.