Constraint Satisfaction Problems. CSP Formalisms and Techniques