A proof of the CSP Dichotomy Conjectureдоклад на конференции