On the computational power of binary decision diagram with redundant variables.

DOI10.1007/BF00121263zbMATH Open1425.68118MaRDI QIDQ960508FDOQ960508

Tetsuya Yamada, Hiroto Yasuura

Publication date: 21 December 2008

Published in: Formal Methods in System Design (Search for Journal in Brave)

Recommendations

• On the size of binary decision diagrams representing Boolean functions
• BDDs -- design, analysis, complexity, and applications.
• Binary decision diagrams
• On the relation between BDDs and FDDs
• scientific article; zbMATH DE number 1948534

zbMATH Keywords

binary decision diagramcomputer-aided designdeterministic Turing machineDLOGindexed BDDinteger multiplier

Mathematics Subject Classification ID

Data structures (68P05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• On uniform circuit complexity
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
• Binary Decision Diagrams
• Title not available (Why is that?)

Cited In (1)

• Chain reduction for binary and zero-suppressed decision diagrams

This page was built for publication: On the computational power of binary decision diagram with redundant variables.

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