Минимизация корня логического уравнения КНФ = 1
| Published in: | Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г. С. 90-96 |
|---|---|
| Main Author: | Бирюков, Марк Олегович |
| Other Authors: | Андреева, Валентина Валерьевна |
| Format: | Book Chapter |
| Language: | Russian |
| Subjects: | |
| Online Access: | https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151793 Перейти в каталог НБ ТГУ |
Similar Items
-
Экспериментальное исследование решателя MiniSat
by: Кидярова, Галина Владимировна -
Метод исключения переменной из КНФ Цейтина
by: Тычинский, Вячеслав Зиновьевич -
Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
by: Пашкова, Наталья Николаевна -
Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
by: Тычинский, Вячеслав Зиновьевич -
Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
by: Голубева, Ольга Ивановна
