По вашему запросу найдено документов: 980144
Страница 1 из 98015
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-решателей
Экспериментальное исследование решателя MiniSatЭкспериментальное исследование решателя MiniSat
Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов(2). Если же рассматриваемая задача сведена к SAT, то порождаемые ограничения имеют вид
DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФОписаны SAT-решатель, использующий системы булевых уравнений в алгебраической нормальной форме (АНФ
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
Страница 1 из 98015
Фасеты
Новости проекта
Новости
-
2021-09-22, 21:09Cambridge University Press и Университет Вайоминга заключили соглашение об открытом доступе
-
2021-09-20, 21:07Журнал ION NAVIGATION переходит на открытый доступ с 1 января
-
2021-09-17, 11:39Журналы AAS полностью перейдут на модель открытого доступа
-
2021-09-15, 00:38Для перехода на зеленую энергию необходимо больше научной коммуникации
-
2021-09-12, 10:08Австралия отказалась от идеи запретить препринты
Партнеры
Индексация
