3.7.125. Klee's measure problem

Denotes the fact 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 union.