ML Anthology

Using More Reasoning to Improve #SAT Solving

Jessica Davies, Fahiem Bacchus
AAAI 2007 pp. 185-190
/aaai/2007/davies2007aaai-using/
PDF AAAI Semantic Scholar

Cite

Text

Davies and Bacchus. "Using More Reasoning to Improve #SAT Solving." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Davies and Bacchus. "Using More Reasoning to Improve #SAT Solving." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/davies2007aaai-using/)

BibTeX

@inproceedings{davies2007aaai-using,
  title     = {{Using More Reasoning to Improve #SAT Solving}},
  author    = {Davies, Jessica and Bacchus, Fahiem},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {185-190},
  url       = {https://mlanthology.org/aaai/2007/davies2007aaai-using/}
}