Factored Symmetries for Merge-and-Shrink Abstractions

Open in new window