scientific article; zbMATH DE number 910726

zbMATH Open0855.94028MaRDI QIDQ4885884FDOQ4885884

Authors: Masahiro Fujita, Xudong Zhao, Edmund Clarke 

Publication date: 17 February 1997

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 910725
• scientific article; zbMATH DE number 910734
• Binary decision diagrams
• Publication:4934627
• Application of multiroot decision diagrams for integer functions

zbMATH Keywords

data structureWalsh transformfunction representationmulti-terminal binary decision diagramsReed-Muller transform

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Abstract data types; algebraic specification (68Q65)

Cited In (13)

• Title not available (Why is that?)
• Symbolic model checking for probabilistic processes
• Reduction of decision diagrams by disjunctive spectral translation in the Walsh-Hadamard domain
• Application of multiroot decision diagrams for integer functions
• Title not available (Why is that?)
• Non-Abelian groups in optimization of decision diagrams representations of discrete functions
• Representation of multiple-valued functions with flat Vilenkin-Chrestenson spectra by decision diagrams
• Mixed-radix representation of MVL functions by spectral and decision diagrams
• Information content of the ternary decision diagrams
• Symbolic reasoning with weighted and normalized decision diagrams
• Introducing fault-tolerance to multiple-valued logic with error-correcting decision diagrams
• Title not available (Why is that?)
• On application of multi-rooted binary decision diagrams to probabilistic model checking

This page was built for publication:

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