搜索结果: 1-1 共查到“数学分析 Complexity”相关记录1条 . 查询时间(0.119 秒)
Average-Case Separation in Proof Complexity:Short Propositional Refutations for Random 3CNF Formulas
Average-Case Short Propositional Random 3CNF Formulas
font style='font-size:12px;'>
2012/12/4
Separating different propositional proof systems梩hat is, demonstrating that one proof system cannot efficiently simulate another proof system梚s one of the main goals of proof complexity. Nevertheless,...