几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。