Balcova heart study: rationale and methodology of the Turkish cohort
- 作者Gül Ergör, Ahmet Soysal, Kaan Sözmen, Belgin Ünal, Reyhan Uçku, Bülent Kılıç, Türkan Günay, Alp Ergör, Yücel Demiral, Gül Saatlı, Reci Meseri, Hakan Baydur, Hatice Şimşek, Refik Budak, Hale Arık, et al
- 卷第57卷
- 期第3期
- 印刷ISSN1661-8556
- 电子ISSN1661-8564
- 文件大小347.57KB
- 发表时间2012-06
- DOI10.1007/s00038-011-0309-x
- 页码535-542
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