Compact Propositional Encodings of First-Order Theories
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1579-1579.
Abstract
Deepak Ramachandran, and Eyal Amir. 2005. Compact Propositional Encodings of First-Order Theories. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 1579–1579. https://ijcai.org/proceedings/2005/329
Ramachandran, D., & Amir, E. (2005). Compact Propositional Encodings of First-Order Theories. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 (pp. 1579–1579). IJCAI. https://ijcai.org/proceedings/2005/329
@inproceedings{ijcai2005p329,
title = {Compact Propositional Encodings of First-Order Theories},
author = {Ramachandran, Deepak and Amir, Eyal},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {1579--1579},
year = {2005},
url = {https://ijcai.org/proceedings/2005/329},
}
TY - CPAPER TI - Compact Propositional Encodings of First-Order Theories AU - Ramachandran, Deepak AU - Amir, Eyal T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 1579 EP - 1579 UR - https://ijcai.org/proceedings/2005/329 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
