Space characterizations of complexity measures and size-space trade-offs in propositional proof systems

Theodoros Papamakarios^a, Alexander Razborov<sup>bc

a</sup> Department of Computer Science, University of Chicago, 5730 S Ellis Ave, Chicago, 60637, IL, USA
^b University of Chicago, 1100 E 58th St, Chicago, 60637, IL, USA
^c Steklov Mathematical Institute, Gubkina 8, Moscow, 117966, Russia

Поступила в редакцию: 10.11.2022
Исправленный вариант: 24.04.2023
Принята в печать: 25.04.2023

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

DOI: 10.1016/j.jcss.2023.04.006

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

• 
•