机译:多项式大小的Frege以及st-connectivity和Hex重言式的分辨率证明
Prepositional logic; Resolution; Proof complexity; Graph connectivity; Hex game;
机译:多项式大小的Frege以及st-connectivity和Hex重言式的分辨率证明
机译:弗雷格系统和替代弗雷格系统的证明大小比较
机译:非经典逻辑中的替代Frege和扩展Frege证明系统
机译:弗雷格和扩展弗雷格系统中的命题证明(摘要)
机译:心室分流术后特发性颅内高血压患者静脉压梯度分辨率:次脑北狭窄证明
机译:多项式大小的Frege以及st-connectivity和Hex重言式的分辨率证明
机译:Nsestellensatz证明的Tseitin的重言式和下界