О некоторыххарактеристиках алгоритмов минимизации булевых функцийдиссертация