@inproceedings{ hsu-sat06,
  author    = {Eric I. Hsu and Sheila A. McIlraith},
  title     = {Characterizing Propagation Methods for Boolean
               Satisfiability},
  booktitle = {Proceedings of 9th International Conference on Theory
               and Applications of Satisfiability Testing (SAT '06),
               Seattle, U.S.A.},
  year      = {2006}
}