Superset Generation on Decision Diagrams

DOI10.1007/978-3-319-15612-5_28MaRDI QIDQ5176594zbMATH OpenOpenAlexFDO

Authors Takahisa Toda, Shogo Takeuchi, Koji Tsuda, 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 diagramBoolean completioncause-effect relationshipsupersetzero-suppressed binary decision diagram

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• On a class of decision diagrams
• Hierarchical Set Decision Diagrams and Automatic Saturation
• A rule-based framework for building superposition-based decision procedures
• Hierarchical Set Decision Diagrams and Regular Models
• Representation and Solution of Decision Problems Using Sequential Decision Diagrams
• Decomposition based on decision diagrams
• Decision diagrams and dynamic programming
• scientific article; zbMATH DE number 1423224

Cited in

(1)

• Hierarchical Set Decision Diagrams and Automatic Saturation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176594)