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