Space Complexity in Propositional Calculus
- 期刊名称SIAM Journal on Computing
- 作者Alekhnovich, Michael; Ben-Sasson, Eli; Razborov, Alexander A.; Wigderson, Avi
- 卷第31卷
- 期第4期
- 印刷ISSN0097-5397
- 电子ISSN1095-7111
- 文件大小310.79KB
- 发表时间2002-01
- DOI10.1137/s0097539700366735
- 页码1184-1211
On Three-Dimensional PackingLi, Keqin; Cheng, Kam-Hoi · SIAM Journal on Computing · 1990
Priority Search TreesMcCreight, Edward M. · SIAM Journal on Computing · 1985
Scheduling Split IntervalsBar-Yehuda, R.; Halldórsson, M. M.; Naor, J. (S.); Shachnai, H.; Shapira, I. · SIAM Journal on Computing · 2006
Nondeterminism within $P^ * $Buss, Jonathan F.; Goldsmith, Judy · SIAM Journal on Computing · 1993
Optimization of Straight Line ProgramsAho, Alfred V.; Ullman, Jeffrey D. · SIAM Journal on Computing · 1972
Quantum Entanglement and Communication ComplexityBuhrman, Harry; Cleve, Richard; van Dam, Wim · SIAM Journal on Computing · 2001
On Classes of Program SchemataConstable, Robert L.; David, Gries · SIAM Journal on Computing · 1972
Bounded Concurrent Time-StampingDolev, Danny; Shavit, Nir · SIAM Journal on Computing · 1997