|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О применении SAT-решателей для проверки периодичности булевых функцийдоклад на конференции
- Автор: Бухман А.В.
- Всероссийская с международным участием Конференция : Научная конференция "Тихоновские чтения 2019"
- Даты проведения конференции: 28 октября - 1 ноября 2019
- Дата доклада: 1 ноября 2019
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ, Russia
- Добавил в систему: Врагова Елена Юрьевна