机译:关于网格的Tseitin的小深度Frege证明
机译:关于Tseitin用于网格的小型弗赖基证据
机译:所有图形的Tseitin公式的边界深度Frege复杂度
机译:所有图形的Tseitin公式的有界深度弗雷格复杂度
机译:网格Tseitin的小深度Frege证明
机译:重新审视弗雷格的现实主义:对弗雷格奖学金最近趋势的评论。
机译:质子网格疗法:概念验证研究
机译:Frege和扩展Frege证明的Np搜索问题
机译:Nsestellensatz证明的Tseitin的重言式和下界