英语语法分析

The renamings has played a significant role in simplifying resolution proofs of some hard formulas and constructing the efficient satisfiability algorithms.

改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用。