ML Anthology

DPLL with a Trace: From SAT to Knowledge Compilation

Jinbo Huang, Adnan Darwiche
IJCAI 2005 pp. 156-162
/ijcai/2005/huang2005ijcai-dpll/
PDF IJCAI Semantic Scholar

Cite

Text

Huang and Darwiche. "DPLL with a Trace: From SAT to Knowledge Compilation." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Huang and Darwiche. "DPLL with a Trace: From SAT to Knowledge Compilation." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/huang2005ijcai-dpll/)

BibTeX

@inproceedings{huang2005ijcai-dpll,
  title     = {{DPLL with a Trace: From SAT to Knowledge Compilation}},
  author    = {Huang, Jinbo and Darwiche, Adnan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {156-162},
  url       = {https://mlanthology.org/ijcai/2005/huang2005ijcai-dpll/}
}