@inproceedings{ sharp2clseq07,
  publisher = {<undefined>},
  author = {J. Davies and F. Bacchus},
  url = {davies_aaai07.pdf},
  booktitle = {AAAI},
  title = {Using More Reasoning to Improve #SAT Solving},
  year = {2007}
}