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