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.