Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors. (English. Russian original) Zbl 1533.68426
Program. Comput. Softw. 49, No. 4, 268-285 (2023); translation from Programm. Inzh. 13, No. 8 (2022).