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

SIAM Journal on Computing

RUS ENG

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

	Главная страница
	О проекте
	Программное обеспечение
	Классификаторы
	Полезные ссылки
	Пользовательское соглашение

	Поиск публикаций
	Поиск ссылок

	RSS
	Текущие выпуски
	Архивные выпуски
	Что такое RSS

SIAM Journal on Computing, 2022, том 51, выпуск 4, страницы 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

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

Тип публикации: Статья

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

Образцы ссылок на эту страницу:

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

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

Статистика просмотров:
Страница аннотации:	29

Обратная связь: