### 3.7.131. Klee's measure problem

Denotes that, checking the feasibility of a ground instance of a constraint, is related to the Klee's measure problem: given a collection of axis-aligned multi-dimensional boxes, how quickly can one compute the volume of their unions.