@inproceedings{bessiere:Local,
  author = "Bessiere, C. and Hebrard, E. and Walsh, T.",
  title = "Local Consistencies in {SAT}",
  booktitle = "Proceedings the Sixth International Conference on Theory and
               Applications of Satisfiability Testing (SAT)",
  year = 2003}