Characterizing Propagation Methods for Boolean Satisfiability. Hsu, E. I. & McIlraith, S. A. In Biere, A. & Gomes, C. P., editors, SAT, volume 4121, of Lecture Notes in Computer Science, pages 325-338, 2006. Springer.
Characterizing Propagation Methods for Boolean Satisfiability. [link]Link  Characterizing Propagation Methods for Boolean Satisfiability. [link]Paper  bibtex   
@inproceedings{conf/sat/HsuM06,
  added-at = {2017-05-23T00:00:00.000+0200},
  author = {Hsu, Eric I. and McIlraith, Sheila A.},
  biburl = {https://www.bibsonomy.org/bibtex/2a90760851ed2c3c47c907f658aafc0cc/dblp},
  booktitle = {SAT},
  crossref = {conf/sat/2006},
  editor = {Biere, Armin and Gomes, Carla P.},
  ee = {https://doi.org/10.1007/11814948_31},
  interhash = {614db35e5d8194f3e0c91bd57a5b9c98},
  intrahash = {a90760851ed2c3c47c907f658aafc0cc},
  isbn = {3-540-37206-7},
  keywords = {dblp},
  pages = {325-338},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T19:11:16.000+0200},
  title = {Characterizing Propagation Methods for Boolean Satisfiability.},
  url = {http://dblp.uni-trier.de/db/conf/sat/sat2006.html#HsuM06},
  volume = 4121,
  year = 2006
}

Downloads: 0