The Decomposition Tree for analyses of Boolean functions

DOI10.1017/S096012950800666XMaRDI QIDQ5458074zbMATH OpenFDO

Authors Maik Friedel, Swetlana Nikolajewa, Thomas Wilhelm

Publication date 10 April 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S096012950800666X

Mathematics Subject Classification ID

Boolean functions (06E30) Data structures (68P05)

Recommendations

• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 3989366
• The complexity of AND-decomposition of Boolean functions
• Decomposition of Boolean functions applying the apparatus of Boolean derivatives
• Decompositions of four variable Boolean functions

Cites work

• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• scientific article; zbMATH DE number 4012495 (Why is no real title available?)
• scientific article; zbMATH DE number 44419 (Why is no real title available?)
• scientific article; zbMATH DE number 714922 (Why is no real title available?)
• Improving the variable ordering of OBDDs is NP-complete
• On the Fourier spectrum of monotone functions
• On the multiplicative complexity of Boolean functions over the basis (\(\land,\oplus,1)\).
• Polynomial-time algorithms for generation of prime implicants
• Single-faced Boolean functions and their minimization
• The Maximum Latency and Identification of Positive Boolean Functions
• The Problem of Simplifying Truth Functions

Cited in

(8)

• Experimental comparison of decomposition methods for systems of Boolean function
• Associative and commutative tree representations for Boolean functions
• Tree Decomposition with Function Filtering
• Decomposition of systems of Boolean functions determined by binary decision diagrams
• scientific article; zbMATH DE number 3989366 (Why is no real title available?)
• A decomposition scheme for the analysis of fault trees and other combinatorial circuits
• scientific article; zbMATH DE number 1379304 (Why is no real title available?)
• scientific article; zbMATH DE number 1931923 (Why is no real title available?)

Describes a project that uses

Uses Software

• JBool

This page was built for publication: The Decomposition Tree for analyses of Boolean functions

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