广义归结 meaning in Chinese
generalized resolution
Examples
- Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set
接着给出广义调解的有效性证明，然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。
generalized resolution