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

This page is only showing items within the active collection. You can remove the filter by clicking here.

Add to Quick Collection   All 9 Results

Showing items 1 - 9 of 9.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов
Authors: Головин, Артем Витальевич | Провкин, Виктор Алексеевич
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 74-80
Type: статьи в сборниках
Date: 2022
Add   Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
Authors: Иванкин, Дмитрий Ильич | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 87-92
Type: статьи в сборниках
Date: 2022
Add   Построение множества всех достижимых реакций комбинационных схем
Authors: Провкин, Виктор Алексеевич
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 99-108
Type: статьи в сборниках
Date: 2022
Add   BDD and DNF based algorithms for constructing all testability functions of combinational circuit
Authors: Golubeva, Olga
Source: International Siberian Conference on Control and Communications, May 13-15, 2021, Kazan, Russia. [S. l.], 2021. P. [1-6]
Type: статьи в сборниках
Date: 2021
Description: Constructing testability functions of a combinational circuit line, such as: the controllability, observability and stuck-at fault detection functions, as well as the complement of the observability f ... More
Add   Метод исключения переменной из КНФ Цейтина
Authors: Тычинский, Вячеслав Зиновьевич
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 223-228
Type: статьи в сборниках
Date: 2021
Add   Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
Authors: Серебренникова, Кристина Андреевна | Андреева, Валентина Валерьевна
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 214-218
Type: статьи в сборниках
Date: 2021
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 194-200
Type: статьи в сборниках
Date: 2020
Add   Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей
Authors: Провкин, Виктор Алексеевич
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 178-188
Type: статьи в сборниках
Date: 2020
Add   Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
Authors: Голубева, Ольга Ивановна
Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 335-340
Type: статьи в сборниках
Date: 2020
Description: Рассматриваются методы точного троичного моделирования комбинационных схем, основанные на применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации про ... More
  • «
  • ←
  • 1
  • →
  • »
^