Кафедра программирования механико-математического факультета Новосибирского государственного университета
Конъюнктивная декомпозиция булевых полиномов, основанная на разбиении множества переменных с использованием формальной производной