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