Dept. of Comput. Sci. Guizhou Univ. Guiyang;
Horn clauses; computability; computational complexity; set theory; NP-hard; maximal Horn satisfiability; minimal unembedded renamable Horn sets; renamable Horn problem; satisfiability problem;
机译:重命名一组非角子句
机译:重命名一组非角子句
机译:重命名一组非角子句
机译:最小的unembedded可重新标记的角集
机译:角集的语义参数调制(逻辑,等式,定理证明)。
机译:微孢子虫基因组的比较基因组学揭示了最小的非编码RNA集和最小的真核生物基因组转录的新见解
机译:将一组子句重命名为Horn组的线性算法
机译:认识到Renamable广义命题号角公式是Np完全的。