Эта публикация цитируется в 2 статьях

On CDCL-Based Proof Systems with the Ordered Decision Strategy

Nathan Mull^a, Shuo Pang^b, Alexander Razborov<sup>abc

a</sup> Department of Computer Science, University of Chicago, Chicago, USA
^b Department of Mathematics, University of Chicago, Chicago, USA
^c Steklov Mathematical Institute, Moscow, Russia

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

DOI: 10.1007/978-3-030-51825-7_12

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

• 
•