Novel Reduction Methods for Decision Diagrams
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Access"
DOI: 10.1109/access.2023.3266721
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 of DD that adhere to (or represent) identical structures.… read more here.
Keywords: novel reduction; equivalent parts; reduction; decision ... See more keywords