Boolean factoring and decomposition of logic networks.

Alan Mishchenko Robert K. Brayton Satrajit Chatterjee

Published in: ICCAD (2008)

Keyphrases

multi valued
logic programming
boolean logic
social networks
network design
boolean networks
asynchronous circuits
modal logic
digital circuits
real valued
computer networks
complex systems
network analysis
network model
boolean functions
decomposition method
image decomposition
network size
truth table