TY - RPRT TI - A dichotomy theorem for nonuniform CSPs simplified AU - Andrei A. Bulatov PY - 2020 UR - https://arxiv.org/abs/2007.09099 ID - 2007.09099 ER -