Proof Complexity and Beyond
Atserias, Albert; Nordström, Jakob; Pitassi, Toniann; Razborov, Alexander
- 期刊名称Oberwolfach Reports
- 作者Atserias, Albert; Nordström, Jakob; Pitassi, Toniann; Razborov, Alexander
- 卷第14卷
- 期第3期
- 印刷ISSN1660-8933
- 文件大小657.84KB
- 发表时间2018-7-4
- DOI10.4171/OWR/2017/37
- 页码2299-2361