По вашему запросу найдено документов: 1007
Страница 1 из 101
Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе шифра или хэш-функции, поиск APN-функций) в КНФ. В дальнейшем SAT-решатель устанавливает истинность
DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФОписаны SAT-решатель, использующий системы булевых уравнений в алгебраической нормальной форме (АНФ
Three-value simulation of combinational and sequential circuits and its applications ROBDDs and SAT solvers. The usage of binary and three-value simulation to reduce computations is also
Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров уравнений используется SAT-решатель. Показано, что применение этой техники позволяет повысить эффективность
Интеллектуальный решатель задач по дискретной математикеВ статье описывается интеллектуальный решатель задач по дискретной математике, разрабатываемый по
Интеллектуальный решатель задач по геометрии состояние решателя задач системы по геометрии. Ключевые слова: логический вывод; интеллектуальный решатель
Интеллектуальный решатель задач по теории графовИнтеллектуальный решатель задач по теории графов
Решатель задач интеллектуальной справочной системы по числовым моделямРешатель задач интеллектуальной справочной системы по числовым моделям
Решатель судокуРешатель судоку
Интеллектуальный решатель задач по геометрииИнтеллектуальный решатель задач по геометрии
Страница 1 из 101
Фасеты
Новости проекта
Новости
-
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Австралия отказалась от идеи запретить препринты
Партнеры
Индексация
