scientific article; zbMATH DE number 910726

MaRDI QIDQ4885884zbMATH OpenFDO

Authors Masahiro Fujita, Xudong Zhao, Edmund Clarke

Publication date 17 February 1997

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)

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

Cited in

(13)

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

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)