ML Anthology

Integrating Equivalency Reasoning into Davis-Putnam Procedure

Chu Min Li
AAAI 2000 pp. 291-296
/aaai/2000/li2000aaai-integrating/
PDF AAAI Semantic Scholar

Cite

Text

Li. "Integrating Equivalency Reasoning into Davis-Putnam Procedure." AAAI Conference on Artificial Intelligence, 2000.

Markdown

[Li. "Integrating Equivalency Reasoning into Davis-Putnam Procedure." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/li2000aaai-integrating/)

BibTeX

@inproceedings{li2000aaai-integrating,
  title     = {{Integrating Equivalency Reasoning into Davis-Putnam Procedure}},
  author    = {Li, Chu Min},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {291-296},
  url       = {https://mlanthology.org/aaai/2000/li2000aaai-integrating/}
}