Constraint Propagation: communicate domain reduction of a decision variable to all of the constraints stated over said variable.
It is often much faster than traditional state-space search. It can eliminate areas of the state space that are no longer relevant.