Иван Близнец

Алгоритм проверки выполимости для булевых формул над полным бинарным базисом

В лекции будет приведен алгоритм для определения выполнимости булевых формул с длиной ограниченной $cn$, где $c$ -
некоторая константа, и заданными над базисом $B_2$. Доклад основан на статье:
"A Satisfiability Algorithm and Average-Case Hardness for Formula over the Full Binary Basis".