ML Anthology

Compact Propositional Encodings of First-Order Theories

Deepak Ramachandran, Eyal Amir
AAAI 2005 pp. 340-345
/aaai/2005/ramachandran2005aaai-compact/
PDF AAAI Semantic Scholar

Cite

Text

Ramachandran and Amir. "Compact Propositional Encodings of First-Order Theories." AAAI Conference on Artificial Intelligence, 2005.

Markdown

[Ramachandran and Amir. "Compact Propositional Encodings of First-Order Theories." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/ramachandran2005aaai-compact/)

BibTeX

@inproceedings{ramachandran2005aaai-compact,
  title     = {{Compact Propositional Encodings of First-Order Theories}},
  author    = {Ramachandran, Deepak and Amir, Eyal},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {340-345},
  url       = {https://mlanthology.org/aaai/2005/ramachandran2005aaai-compact/}
}