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

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

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

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

Экспериментальное исследование решателя MiniSat
по: Кидярова, Галина Владимировна

Метод исключения переменной из КНФ Цейтина
по: Тычинский, Вячеслав Зиновьевич

Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
по: Пашкова, Наталья Николаевна

Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
по: Тычинский, Вячеслав Зиновьевич

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
по: Голубева, Ольга Ивановна

Masking internal node logical faults and trojan circuits injections with using SAT solvers
по: Matrosova, Anzhela Yu

Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
по: Иванкин, Дмитрий Ильич

Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
по: Доронин, Артемий Евгеньевич

SAT solvers application of deriving all test pairs detecting robust testable PDFs
по: Matrosova, Anzhela Yu

Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит

Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей
по: Провкин, Виктор Алексеевич

DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ
по: Ткачев, Александр Витальевич

BDD and DNF based algorithms for constructing all testability functions of combinational circuit
по: Golubeva, Olga

Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи
по: Сафонов, Данил Дмитриевич

Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем

Построение множества всех достижимых реакций комбинационных схем
по: Провкин, Виктор Алексеевич

Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
по: Тычинский, Вячеслав Зиновьевич

Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64
по: Маро, Екатерина Александровна

Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов
по: Головин, Артем Витальевич

Masking circuit faults and Trojan circuit injections using sat solvers

Нахождение прообразов неполнораундовой функции сжатия криптографической хеш-функции Skein512-256 при помощи SAT-решателя
по: Заикин, Олег Сергеевич

Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
по: Серебренникова, Кристина Андреевна

Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ диссертация на соискание ученой степени кандидата технических наук : 05.13.01 - системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
по: Заикин, Олег Сергеевич
Публикация: (2009)

Совершенный алгоритм алгоритмы для NP-трудных затрат
по: Рафгарден, Тим
Публикация: (2021)

Дискретная математика учебное пособие
по: Плотников, Анатолий Дмитриевич
Публикация: (2006)

Избранные труды
по: Хачиян, Леонид Генрихович
Публикация: (2009)

Основы логического проектирования в 3 кн.
по: Закревский, Аркадий Дмитриевич 1928-2014
Публикация: (2004)

Минимизация ДНФ учебно-методическое пособие
Публикация: (2013)

Лекции по дискретной математике учебное пособие
по: Дехтярь, Михаил Иосифович
Публикация: (2009)

Булевы функции
по: Марченков, Сергей Серафимович
Публикация: (2002)

Параллельная технология решения SAT-задач с применением пакета прикладных программ D-SAT

Three-value simulation of combinational and sequential circuits and its applications
по: Golubeva, Olga

Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов
по: Семенов, Александр Анатольевич

McGraw-Hill's SAT 5 practice tests
Публикация: (2008)

Поиск корня логического уравнения с помощью дерева разложений
по: Тарновская, Татьяна Павловна

Минимизация систем булевых функций и распознавание образов диссертация на соискание ученой степени кандидата физико-математических наук
по: Торопов, Николай Романович
Публикация: (1969)

Булевы функции Учебно-методическое пособие
Публикация: (2003)

Автоматическая генерация хэш-функций для обфускации программного кода
по: Лебедев, Роман Константинович

Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе
по: Софронова, Дарья Алексеевна

Упрощение конъюктивных нормальных форм в задачах построения корректирующих схем
по: Провкин, Виктор Алексеевич