单项选择题

A.删除策略
B.支撑集策略
C.线性归结
D.线性输入策略