Title: Efficient Algorithms for Strong Local Consistencies and Adaptive Techniques in Constraint Satisfaction Problems