A (slightly) faster algorithm for klee's measure problem

From MaRDI portal
Publication:3602906