Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink

Open in new window