ML Anthology

A New Algorithm for Computing Theory Prime Implicates Compilations

Pierre Marquis, Samira Sadaoui
AAAI 1996 pp. 504-509
/aaai/1996/marquis1996aaai-new/
PDF AAAI Semantic Scholar

Cite

Text

Marquis and Sadaoui. "A New Algorithm for Computing Theory Prime Implicates Compilations." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Marquis and Sadaoui. "A New Algorithm for Computing Theory Prime Implicates Compilations." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/marquis1996aaai-new/)

BibTeX

@inproceedings{marquis1996aaai-new,
  title     = {{A New Algorithm for Computing Theory Prime Implicates Compilations}},
  author    = {Marquis, Pierre and Sadaoui, Samira},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {504-509},
  url       = {https://mlanthology.org/aaai/1996/marquis1996aaai-new/}
}