Пропуск в контексте
  • Язык
    • English
    • Русский

Расширенный поиск
  • Минимизация корня логического...
  • Цитировать
  • Печать
  • Запись для экспорта
    • Экспорт в RefWorks
    • Экспорт в EndNoteWeb
    • Экспорт в EndNote
  • Permanent link
Экспорт завершен — 
Минимизация корня логического уравнения КНФ = 1

Минимизация корня логического уравнения КНФ = 1

Библиографическая информация
Опубликовано в: :Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г. С. 90-96
Главный автор: Бирюков, Марк Олегович
Другие авторы: Андреева, Валентина Валерьевна
Формат: Статья в сборнике
Язык:Russian
Предметы:
SAT-решатели
конъюнктивные нормальные формы
математическое моделирование
статьи в сборниках
Online-ссылка:https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151793
Перейти в каталог НБ ТГУ
  • Фонды
  • Описание
  • Похожие документы
  • Marc-запись

Internet

https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151793
Перейти в каталог НБ ТГУ

Похожие документы

  • Экспериментальное исследование решателя MiniSat
    по: Кидярова, Галина Владимировна
  • Метод исключения переменной из КНФ Цейтина
    по: Тычинский, Вячеслав Зиновьевич
  • Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
    по: Пашкова, Наталья Николаевна
  • Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
    по: Тычинский, Вячеслав Зиновьевич
  • Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
    по: Голубева, Ольга Ивановна
|   Расширенный поиск   |   Советы для поиска   |

Большой университет Томска
https://university-tomsk.ru/
Загрузка...