The order encoding: From tractable CSP to tractable SAT (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011)

(untitled) - Petke, J; Jeavons, P