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