lower bounds; proof theory; resolution; pigeonhole principle;
机译:弱坡孔原理和完美匹配公式的指数分辨率下限
机译:稀疏信鸽原理的指数分辨率下界和稀疏图上的完美匹配公式
机译:常规分辨率下弱鸽洞原理的下界
机译:P≠NP,命题证明的复杂性和弱鸽洞原理的分辨率下界
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:对乳腺癌手术进行分类:基于肿瘤肿瘤和重建过程的新型基于复杂性的系统并通过对1166位患者的1225例手术进行分析来证明其原理
机译:弱功能鸽洞原理的分辨率下界