A crucial aspect of Binary Decision Diagram utilization is the efficient creation of the diagram - the basis of which is the dynamic merger of diagrams. One of the algorithms we use for this purpose ...

The use of binary decision diagrams (BDDs) has proliferated in numerous fields. When a system criterion is formulated in form of a Boolean function, its BDD is constructed. Each node in the BDD is ...