Сокращение перебора частичное — метод уменьшения размера пространства состояний, в котором выполняется поиск с помощью проверки модели или автоматизированного планирования и составления расписаний алгоритма. Он использует свойство коммутативности одновременно выполняемых переходов, которые приводят к одному и тому же состоянию, независимо от порядка выполнения.
[Глоссарий по искусственному интеллекту. (Электронный ресурс). Режим доступа: http:// en.wikipedia.org›wiki/Glossary_of_artificial_intelligence/, свободный.]