Decomposition of systems of Boolean functions determined by binary decision diagrams

DOI10.1134/S1064230711030051zbMath1320.94115MaRDI QIDQ353738

P. V. Leonczyk, P. N. Bibilo

Publication date: 16 July 2013

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Related Items (3)

Experimental comparison of decomposition methods for systems of Boolean function ⋮ Minimization of binary decision diagrams for systems of incompletely defined Boolean functions ⋮ An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method

Uses Software

• ModelSim

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Binary Decision Diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decomposition of systems of Boolean functions determined by binary decision diagrams