ML Anthology

Rough Resolution: A Refinement of Resolution to Remove Large Literals

Heng Chu, David A. Plaisted
AAAI 1993 pp. 15-20
/aaai/1993/chu1993aaai-rough/
PDF AAAI Semantic Scholar

Cite

Text

Chu and Plaisted. "Rough Resolution: A Refinement of Resolution to Remove Large Literals." AAAI Conference on Artificial Intelligence, 1993.

Markdown

[Chu and Plaisted. "Rough Resolution: A Refinement of Resolution to Remove Large Literals." AAAI Conference on Artificial Intelligence, 1993.](https://mlanthology.org/aaai/1993/chu1993aaai-rough/)

BibTeX

@inproceedings{chu1993aaai-rough,
  title     = {{Rough Resolution: A Refinement of Resolution to Remove Large Literals}},
  author    = {Chu, Heng and Plaisted, David A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {15-20},
  url       = {https://mlanthology.org/aaai/1993/chu1993aaai-rough/}
}