Using Impacts during Search

In this lesson, you will learn how to:

During search, when making choices on a variable x, like x = a, constraint propagation reduces domains. Impacts produce a certain measure of the domain reduction of such an instantiation that gives rise to a family of efficient search strategies.