Complete Local Search for Propositional Satisfiability. Fang, H. & Ruml, W. In McGuinness, D. L. & Ferguson, G., editors, AAAI, pages 161-166, 2004. AAAI Press / The MIT Press.
Complete Local Search for Propositional Satisfiability. [link]Link  Complete Local Search for Propositional Satisfiability. [link]Paper  bibtex   
@inproceedings{conf/aaai/FangR04,
  added-at = {2012-12-11T00:00:00.000+0100},
  author = {Fang, Hai and Ruml, Wheeler},
  biburl = {https://www.bibsonomy.org/bibtex/284fc669df31777ac47d9b425f5a42e1f/dblp},
  booktitle = {AAAI},
  crossref = {conf/aaai/2004},
  editor = {McGuinness, Deborah L. and Ferguson, George},
  ee = {http://www.aaai.org/Library/AAAI/2004/aaai04-026.php},
  interhash = {65d5366b53cf926bbf07de001e292933},
  intrahash = {84fc669df31777ac47d9b425f5a42e1f},
  isbn = {0-262-51183-5},
  keywords = {dblp},
  pages = {161-166},
  publisher = {AAAI Press / The MIT Press},
  timestamp = {2012-12-12T11:50:01.000+0100},
  title = {Complete Local Search for Propositional Satisfiability.},
  url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2004.html#FangR04},
  year = 2004
}

Downloads: 0