问题 问答题 简答题

支持集策略对参加归结的子句提出了什么限制?

答案

参考答案:

支持集策略要求在每次归结时,亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。

选择题
单项选择题