TY - RPRT TI - Finding and counting permutations via CSPs AU - Benjamin Aram Berendsohn AU - László Kozma AU - Dániel Marx PY - 2019 UR - https://arxiv.org/abs/1908.04673 ID - 1908.04673 ER -