Dynamization of the Backtrack-free Search for the Constraint Satisfaction Problem