Experimental Study of Algorithms for Minimization of Binary Decision Diagrams Using Algebraic Representations of Cofactors. - P. N. Bibilo; V. I. Romanov (Program. Comput. Softw., 2023)