Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Оценки трудности доказательств и криптографических атак, основанных на лазейках
Authors: Семенов, Александр Анатольевич
Source: Прикладная дискретная математика. Приложение. 2023. № 16. С. 87-95
Type: статьи в журналах
Date: 2023
Description: Рассматривается задача построения древовидных сертификатов доказательств невыполнимости булевых формул в предположении, что такое доказательство генерируется SAT-решателем, основанным на алгоритме CDC ... More
Add   Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
Authors: Иванкин, Дмитрий Ильич | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 87-92
Type: статьи в сборниках
Date: 2022
  • «
  • ←
  • 1
  • →
  • »
^