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