По вашему запросу найдено документов: 4834
Страница 1 из 484
Quantum circuit optimization via local qubit reordering by quantum annealingвыполнимость булевых формул
О генерической NP-полноте проблемы выполнимости булевых формул. Доказывается, что классическая проблема выполнимости булевых формул является полной относительно этой
О генерической сложности проблемы общезначимости булевых формул (тождественной истинности) булевых формул. Доказывается, что эта проблема неразрешима за полиномиальное время на
Метод разделения множества дизъюнктов в нахождении решения булевых формул с кванторамиВ данной работе рассматривается задача выполнимости булевых формул с кванторами и проводятся
О генерической NP-полноте проблемы выполнимости булевых схем обладает свойством транзитивности, и доказал, что классическая проблема выполнимости булевых формул
Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторамиЭкспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул
Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул выполнимости булевых формул
Применение алгоритмов решения проблемы булевой выполнимости формул для оценки стойкости блочных шифров семейства ГОСТ к алгебраическому криптоанализу задаче выполнимости булевых формул (SAT-задаче) и решение с помощью CryptoMiniSat; 2) применение метода
Минимизация систем булевых функций и распознавание образов : диссертация на соискание ученой степени кандидата физико-математических наук.Минимизация систем булевых функций и распознавание образов : диссертация на соискание ученой
Страница 1 из 484
Фасеты
Партнеры
Индексация
