Application of multiroot decision diagrams for integer functions

DOI10.3103/S1063454110020056zbMATH Open1251.68082MaRDI QIDQ1759552

I. P. Soloviev, D. Yu. Bugaychenko

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)

Related Items (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