По вашему запросу найдено документов: 1082141
Страница 1 из 108215
Satisfiability in Boolean Logic (SAT problem) is polynomial?We find a polynomial algorithm to solve SAT problem in Boolean Logic
Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации
Взлом ключевого кода структуры ЦУ на основе решения задачи SATВзлом ключевого кода структуры ЦУ на основе решения задачи SAT
Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателейСинтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей
Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателейПолучение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачиПоиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи
Экспериментальное исследование решателя MiniSatЭкспериментальное исследование решателя MiniSat
Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов(2). Если же рассматриваемая задача сведена к SAT, то порождаемые ограничения имеют вид
DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФОписаны SAT-решатель, использующий системы булевых уравнений в алгебраической нормальной форме (АНФ
Страница 1 из 108215
Фасеты
Партнеры
Индексация
