(Видавництво Львівської політехніки, 2020-05-21) Міхав, Володимир; Мелешко, Єлизавета; Центральноукраїнський національний технічний університет
In this work, we research binary
decision diagrams’ editing. We describe the main
algorithm, show the evolution way of the BDD
editing strategies, and compared their productivity.