From Small Space to Small Width in Resolution
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
- 期刊名称ACM Transactions on Computational Logic
- 作者Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
- 卷第16卷
- 期第4期
- 印刷ISSN1529-3785
- 文件大小338.67KB
- 发表时间2015-07-14
- DOI10.1145/2746339
- 页码1-15