Finds the (approximately) minimal set of integer-sided squares that can exactly tile a given rectangle.