|
On CDCL-based proof systems with the ordered decision strategy
Nathan Mull, Shuo Pang, Alexander Razborova a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/siamc3
|
Статистика просмотров: |
Страница аннотации: | 28 |
|