Application of multiroot decision diagrams for integer functions

DOI10.3103/S1063454110020056MaRDI QIDQ1759552zbMATH OpenFDO

Authors D. Yu. Bugaychenko, I. P. Soloviev

Publication date 21 November 2012

Published in Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

zbMATH Keywords

binary decision diagramsfunction and matrices representationmulti-terminal binary decision diagrams

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 910726
• On application of multi-rooted binary decision diagrams to probabilistic model checking
• scientific article; zbMATH DE number 1423226
• Data representation and efficient solution: a decision diagram approach
• scientific article; zbMATH DE number 910734

Cited in

(1)

• On application of multi-rooted binary decision diagrams to probabilistic model checking

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Application of multiroot decision diagrams for integer functions

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