A Parallel Algorithm for Constructing Binary Decision Diagrams
Published in KiltHub Repository • Jan 1, 2018
NobleIDNI4P09W27R57S61
Authors:,
Shinji Kimura
Edmund M Clarke
Abstract
A parallel algorithm for constructing binary decision diagrams is described. The algorithms treats binary decision graphs as minimal finite automata. The automation for a Boolean function with AND as its main operation (OR operation) is obtained by forming the intersection (union) of the regular set...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!