@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)}
}
,
  title = {Characterizing Propagation Methods for Boolean Satisfiability}
}
,
  year = {2006}
}
,
  optaddress = {Seattle, Washington, USA}
}
,
  pages = {325-338}
}