TY - RPRT TI - Constraint Satisfaction Problem Dichotomy for Finite Templates: a Proof Via Consistency Checks AU - Dejan Delić PY - 2017 UR - https://arxiv.org/abs/1706.03451 ID - 1706.03451 ER -