ML Anthology

A Compiler for Deterministic, Decomposable Negation Normal Form

Adnan Darwiche
AAAI 2002 pp. 627-634
/aaai/2002/darwiche2002aaai-compiler/
PDF AAAI Semantic Scholar

Cite

Text

Darwiche. "A Compiler for Deterministic, Decomposable Negation Normal Form." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Darwiche. "A Compiler for Deterministic, Decomposable Negation Normal Form." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/darwiche2002aaai-compiler/)

BibTeX

@inproceedings{darwiche2002aaai-compiler,
  title     = {{A Compiler for Deterministic, Decomposable Negation Normal Form}},
  author    = {Darwiche, Adnan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {627-634},
  url       = {https://mlanthology.org/aaai/2002/darwiche2002aaai-compiler/}
}