单项选择题

A.命题规则
B.剪枝优化
C.一阶规则
D.序贯覆盖