Nathan Mull, Shuo Pang, Alexander Razborov, “On CDCL-based proof systems with the ordered decision strategy”, SIAM J. Comput., 2022, Volume 51, Issue 4,Pages <nobr>1368

JOURNALS // SIAM Journal on Computing // Archive

SIAM J. Comput., 2022, Volume 51, Issue 4, Pages 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

Language: English

DOI: 10.1137/20M1362528

Bibliographic databases: