机译:所有图形的Tseitin公式的有界深度弗雷格复杂度
机译:所有图形的Tseitin公式的边界深度Frege复杂度
机译:关于扇形栅极扇形围栏界深度电路和公式的复杂性
机译:Tseitin公式对所有恒定度图的正则分解引用的几乎紧下界
机译:CSP的图形扩展,Tseitin公式和分辨率证明
机译:重新审视弗雷格的现实主义:对弗雷格奖学金最近趋势的评论。
机译:基于新型网络药理学模型揭示不同公式治疗类风湿性关节炎的复杂机理
机译:图形扩展,Tseitin公式和Csp的分辨率证明