Constraint Satisfaction Problems: CSP Formalisms and