Abstract: A binary decision diagram (BDD) that expresses a logical Boolean function can be used for formal verification, and the order of BDD variables directly affects the size of BDD. In this paper, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results