Enhancing Davis Putnam with Extended Binary Clause Reasoning

Cite

Text

Bacchus. "Enhancing Davis Putnam with Extended Binary Clause Reasoning." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Bacchus. "Enhancing Davis Putnam with Extended Binary Clause Reasoning." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/bacchus2002aaai-enhancing/)

BibTeX

@inproceedings{bacchus2002aaai-enhancing,
  title     = {{Enhancing Davis Putnam with Extended Binary Clause Reasoning}},
  author    = {Bacchus, Fahiem},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {613-619},
  url       = {https://mlanthology.org/aaai/2002/bacchus2002aaai-enhancing/}
}