TY  - GEN
AU  - Астафьев,Михаил Валерьевич
AU  - Матросова,Анжела Юрьевна
TI  - К проблеме минимизации BDD-графов
KW  - дискретная математика
KW  - графы
KW  - дискретные устройства
KW  - минимизация
ER  -