|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
On CDCL-Based Proof Systems with the Ordered Decision Strategy
Nathan Mulla, Shuo Pangb, Alexander Razborovabc a Department of Computer Science, University of Chicago, Chicago, USA
b Department of Mathematics, University of Chicago, Chicago, USA
c Steklov Mathematical Institute, Moscow, Russia
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/lncs41
|
Статистика просмотров: |
Страница аннотации: | 45 |
|