"Finding and Counting Permutations via CSPs."

Benjamin Aram Berendsohn, László Kozma, Dániel Marx (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics