@techreport{RR-11-04,
  title = "The order encoding: from tractable CSP to tractable SAT",
  author = "Justyna Petke and Peter Jeavons",
  year = "2011",
  institution = "DCS, University of Oxford",
  number = "RR-11-04",
  pages = "19",
}