constraint satisfaction problem
mathematical problems defined as a set of objects whose state must satisfy a number of constraints or limitations
exact cover
disjoint family of sets, drawn from a larger collection, with the same union as the whole collection