@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",
}