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

Add to Quick Collection   All 15 Results

Showing items 1 - 15 of 15.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64
Authors: Маро, Екатерина Александровна | Заикин, Олег Сергеевич
Source: Прикладная дискретная математика. Приложение. 2023. № 16. С. 65-70
Type: статьи в журналах
Date: 2023
Description: Рассматривается низкоресурсный блочный шифр Simon32/64 из семейства Simon. Полная версия этого шифра состоит из 32 раундов. Задачи криптоанализа для 8 раундов Simon32/64 были неоднократно решены с пом ... More
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   DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ
Authors: Ткачев, Александр Витальевич | Калгин, Константин Викторович
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 187-190
Type: статьи в журналах
Date: 2021
Description: Описаны SAT-решатель, использующий системы булевых уравнений в алгебраической нормальной форме (АНФ) для внутреннего представления задачи, и особенности реализации типичных для SAT-решателей методик д ... More
Add   Masking circuit faults and Trojan circuit injections using sat solvers
Authors: Matrosova, Anzhela Yu. | Provkin, V. А. | Tychinskiy, V. Z. | Nikolaeva, Ekaterina A. | Goshin, G. G.
Source: Russian physics journal. 2021. Vol. 63, № 12. P. 2178-2188
Type: статьи в журналах
Date: 2021
Description: Combinational circuit C composed of gates and its sub-circuit with set V of output nodes and set U of input nodes are considered. The set V consists of output nodes of fault gates of the circuit C (on ... 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: Известия высших учебных заведений. Физика. 2020. Т. 63, № 12. С. 114-123
Type: статьи в журналах
Date: 2020
Description: С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создани ... More
Add   Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
Authors: Доронин, Артемий Евгеньевич | Калгин, Константин Викторович
Source: Прикладная дискретная математика. Приложение. 2020. № 13. С. 129-132
Type: статьи в журналах
Date: 2020
Description: Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющи ... More
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
Add   Экспериментальное исследование решателя MiniSat
Authors: Кидярова, Галина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 51-52
Type: статьи в сборниках
Date: 2014
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^