Поиск по сайту

Информация

По вашему запросу найдено материалов: 1

Семенов А. А. , Игнатьев А. С. «АЛГОРИТМЫ РАБОТЫ С ROBDD КАК С БАЗАМИ БУЛЕВЫХ ОГРАНИЧЕНИЙ» // Прикладная дискретная математика 2010. №1(7) C.86-104