8.6. БОЛЕЕ ОГРАНИЧИТЕЛЬНЫЕ СТРАТЕГИИ

В действительности -стратегию можно еще ограничить, сохранив при этом полноту. Одно из ограничений состоит в том, что если А предшествует В, то резольвенту для А и В можно строить лишь тогда, когда она является подслучаем подстановкового частного случая предложения В (Лавленд, 1969). Можно наложить также и другие ограничения, связанные со специальными типами резольвенций, называемыми слияниями (Эндрюс, 1968; Йейтс, Рафаэль, Харт, 1970). Конечно, при выборе стратегии следует иметь в виду, что затраты на дополнительные вычисления, требуемые для выбора соответствующих резольвенций, могут и не перекрыться экономией, вызванной уменьшением числа резольвенций, выполненных на самом деле в процессе перебора. В настоящее время судить об этом можно лишь на основании практического опыта.