On Exact Algorithms for Permutation CSP

Eun Jung Kim, Daniel Goncalves

In the Permutation Constraint Satisfaction Problem (Permutation CSP) we are given a set of variables $V$ and a set of constraints C, in which constraints are tuples of elements of…