Storing set families more compactly with top ZDDs

From MaRDI portal
Publication:6487601