The Mantra of Partnership
- 作者David V. McQueen
- 卷第51卷
- 期第6期
- 印刷ISSN0303-8408
- 电子ISSN1420-911X
- 文件大小43.35KB
- 发表时间2006-11
- DOI10.1007/s00038-006-0203-0
- 页码331-332
Space Complexity in Propositional CalculusAlekhnovich, Michael; Ben-Sasson, Eli; Razborov, Alexander A.; Wigderson, Avi · SIAM Journal on Computing · 2002
Satisfiability, Branch-Width and Tseitin tautologiesMichael Alekhnovich; Alexander Razborov · 2011
Mutilated chessboard problem is exponentially hard for resolutionMichael Alekhnovich · 2004
Pseudorandom Generators in Propositional Proof ComplexityAlekhnovich, Michael; Ben-Sasson, Eli; Razborov, Alexander A.; Wigderson, Avi · SIAM Journal on Computing · 2004
Lower Bounds fork-DNF Resolution on Random 3-CNFsMichael Alekhnovich · 2011
Resolution Is Not Automatizable Unless W[P] Is TractableAlekhnovich, Michael; Razborov, Alexander A. · SIAM Journal on Computing · 2008
Toward a Model for Backtracking and Dynamic ProgrammingMichael Alekhnovich; Allan Borodin; Joshua Buresh-Oppenheim; Russell Impagliazzo; Avner Magen; Toniann Pitassi · 2011