Nathan Mull, Shuo Pang, Alexander Razborov, “On CDCL-based proof systems with the ordered decision strategy”, SIAM Journal on Computing, 2022, Volume 51, Issue 4, Pages 1368

SIAM Journal on Computing

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

SIAM Journal on Computing, 2022, Volume 51, Issue 4, Pages 1368–1399
DOI: https://doi.org/10.1137/20M1362528 (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: https://doi.org/10.1137/20M1362528

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/siamc3

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	29