%0 Journal Article %A Y. V. Kosolapov %T On simplifying expressions with mixed Boolean-arithmetic %J Modelirovanie i analiz informacionnyh sistem %D 2023 %P 140-159 %V 30 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2023_30_2_a2/ %G ru %F MAIS_2023_30_2_a2