Application of multiroot decision diagrams for integer functions

DOI10.3103/S1063454110020056zbMATH Open1251.68082MaRDI QIDQ1759552FDOQ1759552

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

Publication date: 21 November 2012

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

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

zbMATH Keywords

binary decision diagramsfunction and matrices representationmulti-terminal binary decision diagrams

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (1)

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

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)