Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction.

Guy Avni, Orna Kupferman

Browse the full CONCUR paper archive.