Leram - Constraint Satisfaction Problems: CSP Formalisms and Techniques (Computer Engineering and IT Book 6) (English Edition)