...
Horn approximationrenamingrandom satisfying assignment;
机译:喇叭上界和重命名
机译:重命名的新组合拓扑范围:上限
机译:随机k-CNF公式的Horn可重命名性,q-Horn和SLUR阈值
机译:喇叭的上界和重命名
机译:使用上限元素技术(UBET)和改进的上限元素技术(MUBET)对复杂的金属成型过程进行计算机建模。
机译:最大公共子图:一些上限和下限结果
机译:号角上限和重命名
机译:认识到Renamable广义命题号角公式是Np完全的。