支架集归结

支架集归结（resolution with supporting set），计算机科学技术名词，一种归结策略。子句集 S的子集T称为S的支架集，如果（S-T）是可满足的。一个支架集归结过程的每一步归结都是一个不同时属于（S-T） 的两个子句的归结。