Chain reduction for binary and zero-suppressed decision diagrams

DOI10.1007/978-3-319-89960-2_5zbMath1423.68119OpenAlexW2963971337MaRDI QIDQ5919614

Randal E. Bryant

Publication date: 16 September 2019

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-89960-2_5

Mathematics Subject Classification ID

Related Items (3)

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams ⋮ Chain reduction for binary and zero-suppressed decision diagrams ⋮ DenseZDD: a compact and fast index for families of sets

This page was built for publication: Chain reduction for binary and zero-suppressed decision diagrams