A lengthy survey concentrating on various techniques related to CSP and its conjectured dichotomy in particular.