Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Минимизация корня логического уравнения КНФ = 1
Authors: Бирюков, Марк Олегович | Андреева, Валентина Валерьевна
Source: Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г.. Томск, 2024. С. 90-96
Type: статьи в сборниках
Date: 2024
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 136
Type: статьи в сборниках
Date: 2020
Add   Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
Authors: Пашкова, Наталья Николаевна | Андреева, Валентина Валерьевна
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 17-21
Type: статьи в сборниках
Date: 2018
Add   Экспериментальное исследование решателя MiniSat
Authors: Кидярова, Галина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 51-52
Type: статьи в сборниках
Date: 2014
  • «
  • ←
  • 1
  • →
  • »
^