Хмельнов, Алексей Евгеньевич; Игнатьев, Алексей Сергеевич; Семенов, Александр Анатольевич
(Новосибирский государственный университет, 2013-03-01)
В работе рассматриваются вопросы программной реализации одного подхода к задачам обращения дискретных функций. В основе данного подхода лежит техника представления булевых функций в форме двоичных диаграмм решений (BDD). ...