@inproceedings{6101,
  title = "The order encoding: from tractable CSP to tractable SAT (extended abstract)",
  author = "Justyna Petke and Peter Jeavons",
  year = "2011",
  booktitle = "Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing - SAT 2011",
  pages = "371-372",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6695",
  doi = "10.1007/978-3-642-21581-0_34",
}