Experimental comparison of decomposition methods for systems of Boolean function

DOI10.1134/S1064230716010044zbMath1431.94216MaRDI QIDQ1743029

P. N. Bibilo, N. A. Avdeev

Publication date: 12 April 2018

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

Mathematics Subject Classification ID

Boolean functions (06E30) Switching theory, applications of Boolean algebras to circuits and networks (94C11) Boolean functions (94D10)

Cites Work

• Decomposition of systems of Boolean functions determined by binary decision diagrams
• Ordered binary decision diagrams as knowledge-bases
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Experimental comparison of decomposition methods for systems of Boolean function