По вашему запросу найдено документов: 1082141
Страница 2 из 108215
SAT solvers application of deriving all test pairs detecting robust testable PDFs. In the frame of SAT technology it is possible to find products presenting test pairs one by one. It seemed
Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие
Masking internal node logical faults and trojan circuits injections with using SAT solvers functions system. This system is calculated with using SAT solver. Masking (patch) circuit inputs
Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64 помощвю SAT-подхода, т. е. путём сведения к проблеме булевой выполнимости и исполвзования SAT
Психометрическая адаптация методики SAT-M на российской выборке старшеклассников с разной успешностью обучения математикеПсихометрическая адаптация методики SAT-M на российской выборке старшеклассников с разной
Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурахПрименение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
Исследование влияния Доббертиновских ограничений на поиск прообразов неполнораундовой функции сжатия MD4 при помощи SAT-подхода сжатия MD4 при помощи SAT-подхода
Нахождение прообраза пяти раундов криптографической хеш-функции JH-256 при помощи параллельного SAT-решателяНахождение прообраза пяти раундов криптографической хеш-функции JH-256 при помощи параллельного SAT-решателя
Минимизация корня логического уравнения КНФ = 1SAT-решатели
Использование времени как процессуальной характеристики при диагностике успешности обучения математикеSAT-M
Страница 2 из 108215
Фасеты
Партнеры
Индексация
