Abstract: A Boolean network (BN) is well known as a discrete model for the analysis and control of complex networks, such as gene regulatory networks. Since complex networks are large scale in general ...
Abstract: We propose a novel method of reduction for binary-based decision diagrams (DD) exploiting the similarities between Boolean functions. Conventional methods are able to remove redundant parts ...