ML Anthology

Knowledge Compilation Using Theory Prime Implicates

Pierre Marquis
IJCAI 1995 pp. 837-845
/ijcai/1995/marquis1995ijcai-knowledge/
PDF IJCAI Semantic Scholar

Cite

Text

Marquis. "Knowledge Compilation Using Theory Prime Implicates." International Joint Conference on Artificial Intelligence, 1995.

Markdown

[Marquis. "Knowledge Compilation Using Theory Prime Implicates." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/marquis1995ijcai-knowledge/)

BibTeX

@inproceedings{marquis1995ijcai-knowledge,
  title     = {{Knowledge Compilation Using Theory Prime Implicates}},
  author    = {Marquis, Pierre},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {837-845},
  url       = {https://mlanthology.org/ijcai/1995/marquis1995ijcai-knowledge/}
}