|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Компьютерное доказательство нижних оценок сложности схемдоклад на конференции
- Автор: Комбаров Ю.А.
- Международная Конференция : X Международная конференция "Дискретные модели в теории управляющих систем"
- Даты проведения конференции: 22-25 мая 2018
- Дата доклада: 24 мая 2018
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Московская область, Можайский район, Красновидово, Russia
-
Аннотация доклада:
Разработан инструмент, упрощающий перебор случаев при доказательстве нижних оценок сложности схем методом забивания. С его использованием описана структура минимальных схем для линейной булевой функции в базисе {&,-}.
- Добавил в систему: Комбаров Юрий Анатольевич