Nathan Mull, Shuo Pang, Alexander Razborov, “On CDCL-based proof systems with the ordered decision strategy”, SIAM J. Comput., 2022, том 51, выпуск 4,страницы 1368–1399

RUS ENG

Полная версия

ЖУРНАЛЫ // SIAM Journal on Computing // Архив

SIAM J. Comput., 2022, том 51, выпуск 4, страницы 1368–1399 (Mi siamc3)

On CDCL-based proof systems with the ordered decision strategy

Nathan Mull, Shuo Pang, Alexander Razborov^a

^a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Язык публикации: английский

DOI: 10.1137/20M1362528

Реферативные базы данных:

© МИАН, 2024