M Kubica, D Kania - International Journal of Electronics and …, 2016 - infona.pl
The main purpose of the paper is to suggest a new form of BDD-SMTBDD diagram, methods
of obtaining, and its basic features. The idea of using SMTBDD diagram in the process of …