M.N. Velev, and P. Gao,
Efficient SAT Techniques for Relative Encoding of Permutations with Constraints,
22nd Australasian Joint Conference on Artificial Intelligence (AI '09),
A. Nicholson, and X. Li, eds., LNAI 5866, Springer-Verlag, December 2009, pp. 517-527.