Superset Generation on Decision Diagrams

DOI10.1007/978-3-319-15612-5_28zbMath1432.68106OpenAlexW940027509MaRDI QIDQ5176594

Takahisa Toda, Koji Tsuda, Shogo Takeuchi, Shin-ichi Minato

Publication date: 27 February 2015

Published in: WALCOM: Algorithms and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15612-5_28

zbMATH Keywords

binary decision diagramsupersetzero-suppressed binary decision diagramcause-effect relationshipBoolean completion

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: Superset Generation on Decision Diagrams