广义支撑集归结原理

广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广，支撑集策略是提高归结效率的有效方法，本文将支撑集策略引入广义归结中，提出了广义支撑集归结方法，并证明了它的完备性。