@article{6100,
  title = "Local consistency and SAT-solvers",
  author = "Peter Jeavons and Justyna Petke",
  year = "2012",
  journal = "Journal of Artificial Intelligence Research (JAIR)",
  pages = "329-351",
  volume = "43",
  doi = "doi:10.1613/jair.3531",
}
@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",
}
@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",
}
@inproceedings{3744,
  title = "Local consistency and SAT-solvers",
  author = "Peter Jeavons and Justyna Petke",
  year = "2010",
  booktitle = "Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming - CP 2010",
  pages = "398-413",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6308",
  doi = "10.1007/978-3-642-15396-9_33",
}
@techreport{RR-09-07,
  title = "Tractable Benchmarks For Constraint Programming",
  author = "Justyna Petke and Peter Jeavons",
  year = "2009",
  institution = "OUCL",
  number = "RR-09-07",
}