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

Информация

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

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