ML Anthology

An Improved Incremental Algorithm for Generating Prime Implicates

Johan de Kleer
AAAI 1992 pp. 780-785
/aaai/1992/dekleer1992aaai-improved/
PDF AAAI Semantic Scholar

Cite

Text

de Kleer. "An Improved Incremental Algorithm for Generating Prime Implicates." AAAI Conference on Artificial Intelligence, 1992.

Markdown

[de Kleer. "An Improved Incremental Algorithm for Generating Prime Implicates." AAAI Conference on Artificial Intelligence, 1992.](https://mlanthology.org/aaai/1992/dekleer1992aaai-improved/)

BibTeX

@inproceedings{dekleer1992aaai-improved,
  title     = {{An Improved Incremental Algorithm for Generating Prime Implicates}},
  author    = {de Kleer, Johan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1992},
  pages     = {780-785},
  url       = {https://mlanthology.org/aaai/1992/dekleer1992aaai-improved/}
}