@inproceedings{ hsu-mci-sat06,
  optmonth = {August 12 - 15},
  author = {Hsu, E. and McIlraith, S.},
  url = {hsu-mci-sat06.pdf},
  booktitle = {Proceedings of The Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT'06)},
  optaddress = {Seattle, Washington, USA},
  year = {2006},
  title = {Characterizing Propagation Methods for Boolean Satisfiability},
  pages = {325-338}
}